[coreboot-gerrit] New patch to review for coreboot: d8461af armv7-m: set stack pointer to _estack