Update kernel source from newer samsung release