diff --git a/baseconfig/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION b/baseconfig/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION
deleted file mode 100644
index 6881a7757..000000000
--- a/baseconfig/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION
+++ /dev/null
@@ -1 +0,0 @@
-CONFIG_PAGE_TABLE_ISOLATION=y