almost original kernel from samsung opensource center