[coreboot-gerrit] [XS] Change in coreboot[master]: allocator_v4: Fix top-level allocations w/o IORESOURCE_ABOVE_4G