Re: [coreboot] Resource allocation