Решил значит сегодня накатить coreboot: система сборки coreboot говорит: обязательно через меня билдь iasl, системные тулчейны не саппортим; система сборки качает acpica-R10_20_22.tar.gz с гитхаба, сверяет чексумму и обсирается; хз где брать архив с правильной чексуммой: в #coreboot не отвечают, из рэндоминтернетов качаются тарболлы только с не той чексуммой. Мораль сами придумайте.