Merge branch 'stable-3.2' into pandora-3.2
[pandora-kernel.git] / arch / x86 / boot / compressed / misc.h
index 3f19c81..ac9ae22 100644 (file)
@@ -7,6 +7,7 @@
  * we just keep it from happening
  */
 #undef CONFIG_PARAVIRT
+#undef CONFIG_PAGE_TABLE_ISOLATION
 #ifdef CONFIG_X86_32
 #define _ASM_X86_DESC_H 1
 #endif