[coreboot-gerrit] Patch merged into coreboot/master: b5e1984 intel/broadwell: Don't select MONOTONIC_TIMER_MSR