IBFT_START
xen_e820_table.entries[xen_e820_table.nr_entries].addr = IBFT_START;
xen_e820_table.entries[xen_e820_table.nr_entries].size = IBFT_END - IBFT_START;
for (pos = IBFT_START; pos < IBFT_END; pos += 16) {