[coreboot-gerrit] Patch set updated for coreboot: 6470dfb coreboot: Get rid of HAVE_INIT_TIMER config option