A Nexus 4 kernel based on MiRaGe