EduCake's BIOS, bootloader, and booting sequence notes.