Re: [coreboot] Resource Allocation discussion