[coreboot] KGPE-D16: Working single-CPU configuration with 96 GB of RAM