arch/x86: Flip HAVE_MONOTONIC_TIMER default

Change-Id: Id56139a3d0840684b13179821a77bc8ae28e05ae
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/34113
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>

src/Kconfig

@@ -507,7 +507,7 @@ config NO_MONOTONIC_TIMER
 config HAVE_MONOTONIC_TIMER
 	bool
 	depends on !NO_MONOTONIC_TIMER
-	default y if !ARCH_X86
+	default y
 	help
 	 The board/chipset provides a monotonic timer.