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