BIOS_LEN
p < (uint8_t *)ISA_HOLE_VADDR(BIOS_START + BIOS_LEN);
p < (uint8_t *)ISA_HOLE_VADDR(BIOS_START + BIOS_LEN); p += 16) {