BIOS boots with 512 byte bootrom