Re: [coreboot] Resource allocator in v2