Re: [coreboot] Resource Allocation problems