Samsung Galaxy Tab 4 kernel