[coreboot] Patch merged into coreboot/master: 147cdc3 Revert "ARMv7: Simplify div64"