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