Add k_ prefix to various microkernel source files

Adds the k_ prefix to files that don't have it. This emphasizes the
fact that the microkernel is the *real* Zephyr OS kernel, rather than
the nanokernel. Also, the k_ and _k_ prefixes are used for many private
microkernel APIs contained within these files, so using the k_ prefix
for these file names makes sense.

Change-Id: If3a5e786edc6503fa8a24f5638ece2e1df021547
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>

kernel/microkernel/Makefile

@@ -1,11 +1,11 @@
 ccflags-y +=-I$(srctree)/kernel/microkernel/include
 
 obj-y = k_task.o
-obj-y += idle.o
+obj-y += k_idle.o
 obj-y += global.o
-obj-y += cmdPkt.o
-obj-y += movedata.o
-obj-y += ticker.o
+obj-y += k_command_packet.o
+obj-y += k_move_data.o
+obj-y += k_ticker.o
 obj-y += k_memory_map.o
 obj-y += k_memory_pool.o
 obj-y += k_irq.o
@@ -20,6 +20,6 @@ obj-y += k_timer.o
 obj-y += k_pipe_buffer.o k_pipe.o k_pipe_get.o \
 	k_pipe_put.o k_pipe_util.o k_pipe_xfer.o
 
-obj-$(CONFIG_MICROKERNEL)  += server.o
-obj-$(CONFIG_TASK_MONITOR) += task_monitor.o
+obj-$(CONFIG_MICROKERNEL)  += k_server.o
+obj-$(CONFIG_TASK_MONITOR) += k_task_monitor.o
 

kernel/microkernel/k_command_packet.c

@@ -1,4 +1,4 @@
-/* cmdPkt.c - library to manage statically allocated command packets */
+/* k_command_packet.c - microkernel command packet library */
 
 /*
  * Copyright (c) 2012, 2014 Wind River Systems, Inc.

kernel/microkernel/k_idle.c

@@ -1,4 +1,4 @@
-/* idle.c - microkernel idle logic */
+/* k_idle.c - microkernel idle logic */
 
 /*
  * Copyright (c) 1997-2010, 2012-2014 Wind River Systems, Inc.

kernel/microkernel/k_move_data.c

@@ -1,4 +1,4 @@
-/* movedata.c */
+/* k_move_data.c */
 
 /*
  * Copyright (c) 1997-2014 Wind River Systems, Inc.

kernel/microkernel/k_server.c

@@ -1,4 +1,4 @@
-/* server.c - microkernel server */
+/* k_server.c - microkernel server */
 
 /*
  * Copyright (c) 2010, 2012-2015 Wind River Systems, Inc.

kernel/microkernel/k_task_monitor.c

@@ -1,4 +1,4 @@
-/* task_monitor.c - microkernel task monitoring subsystem */
+/* k_task_monitor.c - microkernel task monitoring subsystem */
 
 /*
  * Copyright (c) 1997-2010, 2013-2015 Wind River Systems, Inc.

kernel/microkernel/k_ticker.c

@@ -1,4 +1,4 @@
-/* ticker.c - microkernel tick event handler */
+/* k_ticker.c - microkernel tick event handler */
 
 /*
  * Copyright (c) 1997-2010, 2012-2015 Wind River Systems, Inc.