[coreboot-gerrit] Patch merged into coreboot/master: ec1c83d lib: Make log2() available in romstage on ARM, not just x86