added Android Kerrighed 64 bit kernel