trivial: once more with the style thing

src/arch/arm/kernel/vspace.c

@@ -1312,7 +1312,7 @@ createSafeMappingEntries_PDE
 
     switch (frameSize) {
 
-    /* PDE mappings */
+        /* PDE mappings */
     case ARMSection:
         ret.pde_entries.base = lookupPDSlot(pd, vaddr);
         ret.pde_entries.length = 1;