Updated Galaxy Nexus kernel. Removed "-DPKT_FILTER_SUPPORT" from "DHDCFLAGS".