Stock kernel for P7510/p4wifi