[coreboot] New patch to review for coreboot: c0da995 Fix stack assignment during CPU initialization