Kernel for the Galaxy Note 10.1