интересная вещь получается — вики coreboot'а утверждает, что поддерживаются чуть ли не все современные процессоры, чипсеты и EC. Однако в make menuconfig никаких более-менее новых материнских плат не обнаружил.
Не совсем понятно, как (т.е. на чем) разработчики проверяют работоспособность кода. Ну ведь должны же быть тестовые-то BSP?