Android kernel for the GK802