Does your stock ICS ROM lag? Well, there’s a fix for that.
If you have a Galaxy Tab 10.1 3G P7500 version of Wifi P7510 version, you can install A1 kernel, which allows you to overclock up to 1.4Ghz with the use of SetCPU app. After overclocking my Tab 10.1 to 1.4Ghz, I can clearly tell my tablet runs much faster like it should.
This kernel also gives you additional features like Voodoo Sound app support (download from Play Store), USB charging, and more.
Give it a go if you have a stock ICS ROM and let me know what you think!