[coreboot] Patch merged into coreboot/master: 94e8058 Allocators for different memory regions types