Comment on What prevents Linux from being installed on mobile devices?