Re: [coreboot] v2 resource allocator strangeness