diff --git a/kernel/src/boot_stage2.rs b/kernel/src/boot_stage2.rs
index de4b5cb9a..4570b7c10 100644
--- a/kernel/src/boot_stage2.rs
+++ b/kernel/src/boot_stage2.rs
@@ -88,7 +88,9 @@ global_asm!(
         movl $0xc0000080, %ecx
         rdmsr
         bts $8, %eax
+        jc 2f
         wrmsr
+        2:
 
         /* Load the static page table root. */
         movl $pgtable, %eax