[coreboot-gerrit] Patch set updated for coreboot: 9e50a6f arm: Include types.h in clock.h