[coreboot] [PATCH 5/6] Changes required to the device allocator