Updating the kernel from the MK1 code drop from Samsung.
Should build (I included the proc-v7.S fix before copying the files over).

Change-Id: I7a35a970dd06a5c81170a87c301353ec5639db7b