sys: rename files

src/sys/devctl.c

@@ -1,5 +1,5 @@
 /**
- * @file sys/devctrl.c
+ * @file sys/devctl.c
  *
  * @copyright 2015 Bill Zissimopoulos
  */

src/sys/dirctl.c

@@ -1,5 +1,5 @@
 /**
- * @file sys/dirctrl.c
+ * @file sys/dirctl.c
  *
  * @copyright 2015 Bill Zissimopoulos
  */

src/sys/fsctl.c

@@ -1,5 +1,5 @@
 /**
- * @file sys/fsctrl.c
+ * @file sys/fsctl.c
  *
  * @copyright 2015 Bill Zissimopoulos
  */

src/sys/lockctl.c

@@ -1,5 +1,5 @@
 /**
- * @file sys/lockctrl.c
+ * @file sys/lockctl.c
  *
  * @copyright 2015 Bill Zissimopoulos
  */