Index: src/cpu/amd/model_fxx/Kconfig
===================================================================
--- src/cpu/amd/model_fxx/Kconfig	(revision 4540)
+++ src/cpu/amd/model_fxx/Kconfig	(working copy)
@@ -1,10 +1,10 @@
 config HAVE_INIT_TIMER
-	int
-	default 1
+	bool
+	default y
 
 config HAVE_MOVNTI
-	int
-	default 1
+	bool
+	default y
 
 config CPU_ADDR_BITS
 	int
Index: src/mainboard/amd/serengeti_cheetah/Kconfig
===================================================================
--- src/mainboard/amd/serengeti_cheetah/Kconfig	(revision 4540)
+++ src/mainboard/amd/serengeti_cheetah/Kconfig	(working copy)
@@ -49,13 +49,13 @@
 	depends on BOARD_AMD_SERENGETI_CHEETAH
 
 config HAVE_HARD_RESET
-	int
-	default 1
+	bool
+	default y
 	depends on BOARD_AMD_SERENGETI_CHEETAH
 
 config IOAPIC
-	int
-	default 1
+	bool
+	default y
 	depends on BOARD_AMD_SERENGETI_CHEETAH
 
 config SB_HT_CHAIN_ON_BUS0
@@ -164,8 +164,8 @@
 	depends on BOARD_AMD_SERENGETI_CHEETAH
 
 config SERIAL_CPU_INIT
-	int
-	default 0
+	bool
+	default n
 	depends on BOARD_AMD_SERENGETI_CHEETAH
 
 config AP_CODE_IN_CAR
Index: src/northbridge/amd/amdk8/Kconfig
===================================================================
--- src/northbridge/amd/amdk8/Kconfig	(revision 4540)
+++ src/northbridge/amd/amdk8/Kconfig	(working copy)
@@ -26,8 +26,8 @@
 	default 0x4000000
 
 config HAVE_HIGH_TABLES
-	int
-	default 1
+	bool
+	default y
 
 
-source src/northbridge/amd/amdk8/root_complex/Kconfig
\ No newline at end of file
+source src/northbridge/amd/amdk8/root_complex/Kconfig
