Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 49eb6818bdc4c8415ca4893642646cd5a99d5555)
+++ kernel/generic/include/config.h	(revision 9a21f9d1dd5d4e7faa2041845e285c64a93220ff)
@@ -70,8 +70,8 @@
 	
 	uintptr_t base;
-	size_t kernel_size;           /**< Size of memory in bytes taken by kernel and stack */
+	size_t kernel_size;          /**< Size of memory in bytes taken by kernel and stack */
 	
-	uintptr_t stack_base;         /**< Base adddress of initial stack */
-	size_t stack_size;            /**< Size of initial stack */
+	uintptr_t stack_base;        /**< Base adddress of initial stack */
+	size_t stack_size;           /**< Size of initial stack */
 } config_t;