Но ведь там же не 4 КБ рудиментарный BIOS, а целое EFI с пачками модулей подо все устройства.
Интел, когда давила Coreboot, клалась, что таких проблем не будет, а предстартовая настройка будет поддерживаться через что угодно - консоль, сеть, RS-232. А получилось как обычно - уродливая...