The problem is that as long as the kernel is proprietary, people have no reason to trust it to run that kind of hardware.