kernel 3.1.10 of the Samsung Galaxy Tab P7510 (P4-Wifi)