Re: [coreboot] Possible bug in resources allocation