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>

Conflicts:
	core/combo/TARGET_linux-arm.mk