вполне реально, что google и демонстрирует.
Гуголь демонстрирует только то, что с ресурсами гуголя вполне можно заказать производство железа под coreboot с хромосью (да и вообще с чем угодно) и производитель это сделает. И это всё. Никаких других выводов из этого быть не может.
Дело совсем не в виндовсах и линуксах. BIOS, каким бы coreboot-ом и efi он не назывался, на разных стадиях инициализации должен корректно загрузить корректные микрокоды в чипы, иначе никакой аппаратной платформы вы не получите. И вот эти микрокоды штука полностью аппаратно-зависимая. Причём не на уровне ОС или платформы-процессора. Микрокоды уникальны для каждой материнки на уровне модель-ревизия-модификация, поскольку производитель использует их помимо прочего для исправления ошибок проектирования. Если вы загрузите в, например, процессор некорректный микрокод, то с лёгкостью преобразуете его в модель "могилиус трупп". Есть у нас продвинутые одмины, которые думают, что могут потом принести мне это, чтоб я вынул и переписал флешку на программаторе, после чего у них опять оно будет работать — в результате стопка материнок из которых я корчую компоненты уверенно растёт. Основная проблема замены биоса как раз в том где брать корректный payload для конкретного железа. Производители не раздают эти вещи направо-налево всем желающим (то что идёт в железе есть из себя бинарник да ещё и зашифрованный с проверкой), реверс же в таких местах это скорее анекдот, нежели другое что.