Index: kernel/genarch/include/genarch/drivers/amdm37x/gpt.h
===================================================================
--- kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision 2ab8ab3c0a1e9771074c6e9d07ec1bf5e87ddafc)
@@ -178,5 +178,5 @@
 	const ioport32_t tcar2;
 
-	/* GPT1,2,10 only (used for 1ms time period generation)*/
+	/* GPT1,2,10 only (used for 1ms time period generation) */
 
 	/** Positive increment register */
Index: kernel/genarch/include/genarch/drivers/omap/uart_regs.h
===================================================================
--- kernel/genarch/include/genarch/drivers/omap/uart_regs.h	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/genarch/include/genarch/drivers/omap/uart_regs.h	(revision 2ab8ab3c0a1e9771074c6e9d07ec1bf5e87ddafc)
@@ -353,5 +353,5 @@
 #define OMAP_UART_SSR_DMA_COUNTER_RESET_FLAG   (1 << 2)
 
-	/** BOF Length register (IrDA only)*/
+	/** BOF Length register (IrDA only) */
 	ioport32_t eblr;
 #define OMAP_IRDA_EBLR_DISABLED   (0x00)
Index: kernel/genarch/include/genarch/drivers/pl011/pl011.h
===================================================================
--- kernel/genarch/include/genarch/drivers/pl011/pl011.h	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/genarch/include/genarch/drivers/pl011/pl011.h	(revision 2ab8ab3c0a1e9771074c6e9d07ec1bf5e87ddafc)
@@ -54,5 +54,5 @@
 
 	union {
-		/* Same values that are in upper bits of data register*/
+		/* Same values that are in upper bits of data register */
 		const ioport32_t status;
 #define PL011_UART_STATUS_FE_FLAG   (1 << 0)