Various Build fixes:

-Fix debugging on user builds
-Use -Os (optimize for size) build flag for thumb, otherwise cpp files code size becomes huge and memory consuming
-Remove hacky gcc colors to kernel source AndroidKernel.mk (1/2)

Signed-off-by: Paul Beeler <sparksco@gmail.com>