Re: [coreboot] Recommended memory for coreboot + ASUS KGPE-D16