Linux kernel source for WALTON Primo S2 (Qualcomm MSM8228)