BIOS умер, современные компьютеры эмулируют лишь минимальный слой совместимости для UEFI - в миру известный как CSM (Compatibilty Support Mode)
Дармаван написал хорошую книгу, но она немного устарела на сегодняшний день. Сейчас он занимается UEFI, но в "закрытом" режиме - не уверен, что он сможет написать второй том книги, который он собирался выпустить.
Для дизассемблирования UEFI - надо его распаковать, например с помощью
http://review.coreboot.org/gitweb?p=bio ... ;a=summary А уж извлечённые файлы открывать дизассемблером.
При этом, поскольку IDA Pro не все могут купить ввиду огромной цены, а бесплатная версия не поддерживает 64-битные бинарники (современный UEFI - 64битный), можно воспользоваться
radare2 http://rada.re и
https://github.com/radare/radare2