People pretty much never change the operating system of their ARM devices anyway. They are a lot more heterogenous thing than PCs and getting any OS to run on some specific ARM device is always quite big a task. There's of course some examples of this happening, say TouchPad or N9 Android ports, but these devices already ran Linux kernel.