Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 49eb6818bdc4c8415ca4893642646cd5a99d5555)
+++ kernel/generic/include/config.h	(revision c5da138d8b8cc6946884f1cfd5912b1afb9fa5d6)
@@ -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;