Added changes to build with pre-built stock Samsung kernel