[coreboot] KGPE-D16 / Problem booting with two CPUs