diff --git a/headers/private/kernel/vfs.h b/headers/private/kernel/vfs.h
index 9f532b93fd..f4e919efeb 100755
--- a/headers/private/kernel/vfs.h
+++ b/headers/private/kernel/vfs.h
@@ -52,9 +52,9 @@ typedef struct io_context {
 extern "C" {
 #endif 
 
-status_t vfs_init(struct kernel_args *ka);
+status_t vfs_init(struct kernel_args *args);
 status_t vfs_bootstrap_file_systems(void);
-status_t vfs_mount_boot_file_system(void);
+status_t vfs_mount_boot_file_system(struct kernel_args *args);
 void vfs_exec_io_context(void *context);
 void *vfs_new_io_context(void *parentContext);
 int vfs_free_io_context(void *context);
diff --git a/src/kernel/core/main.c b/src/kernel/core/main.c
index 9f7ce915f2..1a1060ec3b 100644
--- a/src/kernel/core/main.c
+++ b/src/kernel/core/main.c
@@ -194,7 +194,7 @@ main2(void *unused)
 	//	but instead, the hardware and drivers are rescanned then.
 
 	TRACE(("Mount boot file system\n"));
-	vfs_mount_boot_file_system();
+	vfs_mount_boot_file_system(&ka);
 
 	TRACE(("Init busses\n"));
 	bus_init(&ka);