Mainline( ish) kernel for Samsung Galaxy Tab 10.1

Information about Samsung Galaxy Tab 10.1

Model Names

GT-P7510 / p4wifi : Samsung Galaxy Tab 10.1 Wifi
GT-P7500 / p4 : Samsung Galaxy Tab 10.1 3G
SGH-T859 / p4tmo : Samsung Galaxy Tab 10.1 T-Mobile