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