v4l2: Add RGB32 pixel formats to header
Kbuild: export videodev2_exynos_camera header
add gcc 4.8 support and cortex-a15 optimisation flags
futex fixes from cm
disable CONFIG_JUMP_LABEL and cleanups
kit-kat pvr driver modify from HK