Minor general kernel update
KINGbabasula Fixed boot on janice with kernel built with GCC 4.7 and 4.8 https://github.com/KINGbabasula/KING_kernel/commit/45320602ac9eb570c2eb80c62a37f1b8cb854226
KINGbabasula Ported fixes from Linaro to build with GCC 4.8 https://github.com/KINGbabasula/KING_kernel/commit/f5876772f718293b33987c3790bf91d4a5689ee0
Paul-L Enable SELinux on kernel
Paul-L Allow custom boot arguments to be passed to the kernel on top of the bootloader ones.

(I hope didn't miss anyone)

Change-Id: Ic5b30534a8945d562e8433176d40a07fc7635b71

[minor modifications to fit my changes, no functional changes]
Remove unneeded files