New kernel for Razdroid, or something?