Linux kernel customized and compiled for Samsung devices