[SeaBIOS] Quick Boot: A Guide for Embedded Firmware Developers, 2nd Edition