[coreboot] Patch merged into coreboot/master: 1c706dc Fix the stack setup code so we can use an arbitrary 32-bit value