[coreboot-gerrit] Patch merged into coreboot/master: b95be26 bg4cd: drop init_timer() stub