src/Kconfig: enable timestamps by default on PPC64

PPC64 has architectural reliable timer, so there is no reason to
have timestamps disabled.

Signed-off-by: Krystian Hebel <[email protected]>

Author: krystian-hebel

src/Kconfig

@@ -229,7 +229,7 @@ config INCLUDE_CONFIG_FILE
 
 config COLLECT_TIMESTAMPS
 	bool "Create a table of timestamps collected during boot"
-	default y if ARCH_X86
+	default y if ARCH_X86 || ARCH_PPC64
 	help
 	  Make coreboot create a table of timer-ID/timer-value pairs to
 	  allow measuring time spent at different phases of the boot process.