Guardian Kernel for the Samsung Galaxy Nexus (HSPA Variant).