Kernel sources for Google Nexus 5 a.k.a. hammerhead