Re: [coreboot] lower memory performance with coreboot on KGPE-D16