[coreboot] Re: Asus KGPE-D16: Max RAM problem