[coreboot] Re: Max RAM problem