что они используют? - мне кажется

"что они используют?" - мне кажется ключевой фразой ... (т.е. в НАСТОЯЩЕМ времени)

учиться они могли конечно и на coreboot ( успешно "похоронив" учебные проекты), а вот имея/получив доступ к оранжевым книгам от Интел ...
посади студента и он нарисует вам с чистого листа

+ у них гипервизор интегрирован
+ SMM/ACPI должны быть "красивыми", а не как попало (линукс небось переварит и их "обрезанную" версию) для Windows

PS: вы же не будете требовать опубликования моих писем, на основаниии того что я "видел буквы кирилицы в вашем документе" и в последующей жизни (о ужас) буду писать такими же