[coreboot] Patch merged into coreboot/master: 8bc58da ARMv7: straighten out reset code