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