I wonder how many bootloaders and recovery images (specifically the commercial ones) uses the Linux kernel for it?