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