Re: [coreboot] resource allocation part 1