[coreboot-gerrit] Change in coreboot[master]: mainboard/*/*/Kconfig: Remove MONOTONIC_TIMER_MSR selection