kernel: fix debugging preprocessing options

Signed-off-by: Viller Hsiao <villerhsiao@gmail.com>
kernel: let banner output by normal channel

Signed-off-by: Viller Hsiao <villerhsiao@gmail.com>
kdb:  select DEBUG when using kdb

Developer requires debug I/O channel to communicate with KDB

Signed-off-by: Viller Hsiao <villerhsiao@gmail.com>
kernel: resolve compile time warning

kernel/softirq.c:27:14: error: 'softirq_names' defined but not used

Reserve softirq_names for future use

Signed-off-by: Viller Hsiao <villerhsiao@gmail.com>
lib: resolve conflict type definition

Resolve the following error,
  In file included from arm-2013.05/bin/../lib/gcc/arm-none-eabi/4.7.3/
                      ../../../../arm-none-eabi/include/stdio.h:34:0,
                 from kernel/start.c:26:
                      arm-2013.05/bin/../lib/gcc/arm-none-eabi/4.7.3/
                      include/stddef.h:213:23: error: conflicting types for 'size_t'
  In file included from include/platform/debug_uart.h:9:0,
                 from kernel/start.c:13:
    include/types.h:17:18: note: previous declaration of 'size_t' was here

Signed-off-by: Viller Hsiao <villerhsiao@gmail.com>