Samsung kernel source update