in reply to GZimmerle: "Everyone seems to agree that one of the top reasons for taking this step would be to get better hardware support. So why would we even consider using anything else than the Linux kernel?"
simply the 'invasive poison' of the linux licence (GPL). Always a matter of opinion, but a licence that requires you to give your competitors your 'goodies' under almost all circumstances does not help innovative development.