diff --git a/src/system/kernel/arch/x86/arch_altcodepatch.cpp b/src/system/kernel/arch/x86/arch_altcodepatch.cpp
index d3a19d979d..b99a7d12c7 100644
--- a/src/system/kernel/arch/x86/arch_altcodepatch.cpp
+++ b/src/system/kernel/arch/x86/arch_altcodepatch.cpp
@@ -52,6 +52,6 @@ arch_altcodepatch_replace(uint16 tag, void* newcodepatch, size_t length)
 	// disable write after patch
 	set_area_protection(info->text_region.id, kernelProtection);
 
-	dprintf("arch_altcodepatch_replace found %d altcodepatches\n", count);
+	dprintf("arch_altcodepatch_replace found %" B_PRIu32 " altcodepatches\n", count);
 }
 
diff --git a/src/system/kernel/arch/x86/arch_cpu.cpp b/src/system/kernel/arch/x86/arch_cpu.cpp
index 26bf254eb5..11b6ede26f 100644
--- a/src/system/kernel/arch/x86/arch_cpu.cpp
+++ b/src/system/kernel/arch/x86/arch_cpu.cpp
@@ -628,7 +628,7 @@ detect_amd_cache_topology(uint32 maxExtendedLeaf)
 
 	if (maxExtendedLeaf < 0x8000001d)
 		return;
-	
+
 	uint8 hierarchyLevels[CPU_MAX_CACHE_LEVEL];
 	int maxCacheLevel = 0;
 
@@ -1171,6 +1171,7 @@ arch_cpu_init(kernel_args* args)
 }
 
 
+#ifdef __x86_64__
 static void
 enable_smap(void* dummy, int cpu)
 {
@@ -1183,6 +1184,7 @@ enable_smep(void* dummy, int cpu)
 {
 	x86_write_cr4(x86_read_cr4() | IA32_CR4_SMEP);
 }
+#endif
 
 
 status_t