[coreboot-gerrit] [XS] Change in coreboot[main]: allocator_v4: Re-enable top-down allocation for edk2