[coreboot] patch: working SMP startup for kontron/core2