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
Remove unneeded files
Codina defconfigs update

@Paul-L Enable SELinux on kernel
@Paul-L Allow custom boot arguments to be passed to the kernel on top of
the bootloader ones.

Conflicts:
	arch/arm/configs/cyanogenmod_i8160P_defconfig

Change-Id: I14b2ad8a6313207d82363a7c1c47e73ac5003544
db8500-prcmu: Adjusted codina freq table

Based on voltages provided by @ace2nutzer and @zwliew modifications