diff --git a/reactos/ntoskrnl/ke/i386/cpu.c b/reactos/ntoskrnl/ke/i386/cpu.c
index 3d4ea82d9b8..ea582d8885b 100644
--- a/reactos/ntoskrnl/ke/i386/cpu.c
+++ b/reactos/ntoskrnl/ke/i386/cpu.c
@@ -891,15 +891,15 @@ KeFlushCurrentTb(VOID)
     {
         ULONG Cr4;
 
-        /* Disable PGE */
-        Cr4 = __readcr4() & ~CR4_PGE;
-        __writecr4(Cr4);
+        /* Disable PGE (Note: may not have been enabled yet) */
+        Cr4 = __readcr4();
+        __writecr4(Cr4 & ~CR4_PGE);
 
         /* Flush everything */
         __writecr3(__readcr3());
 
         /* Re-enable PGE */
-        __writecr4(Cr4 | CR4_PGE);
+        __writecr4(Cr4);
     }
     else
     {