Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 76f382b9b45e8460f46017535a7dbebc23d9e5e1)
+++ kernel/generic/src/main/main.c	(revision de3db94a505b69fdd8a2d15b0eaa31f2fd7745a7)
@@ -221,5 +221,5 @@
 	frame_init();
 	slab_cache_init();
-	ra_init();	
+	ra_init();
 	sysinfo_init();
 	btree_init();