[coreboot] Re: ASUS KGPE-D16 ECC disabled by default