diff --git a/internal.c b/internal.c
index 5d74f92c2..4390b452f 100644
--- a/internal.c
+++ b/internal.c
@@ -113,7 +113,7 @@ int register_superio(struct superio s)
 	return 0;
 }
 
-#endif
+#endif /* IS_X86 */
 
 static void internal_chip_writeb(const struct flashctx *flash, uint8_t val,
 				 chipaddr addr)
@@ -281,9 +281,7 @@ int internal_init(void)
 			msg_pinfo("Continuing anyway.\n");
 		}
 	}
-#endif
 
-#if IS_X86
 	is_laptop = 2; /* Assume that we don't know by default. */
 
 	dmi_init();
@@ -299,7 +297,7 @@ int internal_init(void)
 	 * FIXME: Find a replacement for DMI on non-x86.
 	 * FIXME: Enable Super I/O probing once port I/O is possible.
 	 */
-#endif
+#endif /* IS_X86 */
 
 	/* Check laptop whitelist. */
 	board_handle_before_laptop();
@@ -333,7 +331,7 @@ int internal_init(void)
 		ret = 1;
 		goto internal_init_exit;
 	}
-#endif
+#endif /* IS_X86 */
 
 	if (internal_buses_supported & BUS_NONSPI)
 		register_par_master(&par_master_internal, internal_buses_supported);