[coreboot] [coreboot - Bug #415] (New) RESOURCE_ALLOCATION_TOP_DOWN breaks edk2