adding Samsung kernel sources