"And it’s even worse, because if the hardware changes even a little bit (like an extra 256MB memory), we have to ship an extra kernel for that."
... nebo budu posílat jen devicetree popisek toho hardware. Což je vlastně to samý jako PC BIOS, akorát v čitelné struktuře a bez toho BIOSu.