Ubuntu 13.10 kernel for Nexus7