Initial Samsung kernel sources: NIF