[coreboot-gerrit] Patch merged into coreboot/master: b2b7132 arm: Dump additional fault registers in abort handlers