Google Nexus 4 kernel for the stock Android ROM