Android kernel for Galaxy Tab 8.9