Hope kernel for the Galaxy Note 10.1 (SOON)