trivial: thank you, astyle.

src/arch/arm/object/objecttype.c

@@ -46,8 +46,8 @@ Arch_deriveCap(cte_t *slot, cap_t cap)
         }
         return ret;
 
-    /* This is a deviation from haskell, which has only
-     * one frame cap type on ARM */
+        /* This is a deviation from haskell, which has only
+         * one frame cap type on ARM */
     case cap_small_frame_cap:
         ret.cap = cap_small_frame_cap_set_capFMappedASID(cap, asidInvalid);
         ret.status = EXCEPTION_NONE;

src/arch/ia32/kernel/vspace.c

@@ -1689,7 +1689,7 @@ decodeIA32FrameInvocation(
         cap = cap_frame_cap_set_capFMappedAddress(cap, vaddr);
 
         switch (frameSize) {
-        /* PTE mappings */
+            /* PTE mappings */
         case IA32_4K: {
             pte_t              pte;
             lookupPTSlot_ret_t lu_ret;
@@ -1822,7 +1822,7 @@ decodeIA32FrameInvocation(
         }
 
         switch (frameSize) {
-        /* PTE mappings */
+            /* PTE mappings */
         case IA32_4K: {
             pte_t              pte;
             lookupPTSlot_ret_t lu_ret;