Пока нет времени вникать, может быть кто-то сталкивался. Есть ли рабочий coreboot для данного ноутбука, надо ли паять, чтобы прошить и возможные подводные камни.
Если никто не в курсе, попробую сам разобраться и отписаться тут, вдруг кому пригодится.