[coreboot-gerrit] Patch set updated for coreboot: aaef1be timer: Add generic udelay() implementation