[coreboot-gerrit] Patch set updated for coreboot: 54b3c34 bg4cd: drop init_timer() stub