[coreboot-gerrit] New patch to review for coreboot: ad15b45 coreboot ARM: Get rid of HAVE_INIT_TIMER config option