diff --git a/arch/x86/include/kernel_arch_data.h b/arch/x86/include/kernel_arch_data.h
index 2a2d03bce55..94963ae4be7 100644
--- a/arch/x86/include/kernel_arch_data.h
+++ b/arch/x86/include/kernel_arch_data.h
@@ -110,8 +110,6 @@
 
 /* Enable paging and write protection */
 #define CR0_PG_WP_ENABLE 0x80010000
-/* Clear the 5th bit in  CR4 */
-#define CR4_PAE_DISABLE 0xFFFFFFEF
 /* Set the 5th bit in  CR4 */
 #define CR4_PAE_ENABLE 0x00000020