Nem néztem utána, de kiírni pendrive-ra egy image-et, arról boot-olni, majd flash-be tölteni egy firmware-t szerintem nem annyira bonyolult. Amúgy meg szerintem nem kardinális kérdés. Hardware init, kernel és initrd behúzása, onnantól már a kernel, illetva az oprendszer megy. Igaz, ha valamire nem tudja a megfejtést, lehet, hogy visszahívja a BIOS-t.