I'm soo glad to see some support on the TUN.ko issue
I too have been flashing over and over trying to find a ROM and Kernel that actually have TUN.ko.
So far I have found none. I have tried the arconium ICS port to Pro, the stock ICS from sony, the Ultima Rom( i cant even find the ICS there, only GB) and CM9, but none of them have a working TUN.ko.
I have tried the TUN.ko installer aswell but it just doesnt work, it installs a TUN module but it is 0kb.
I would highly appreciate if anyone knows of a ROM and kernel that have a working TUN.ko for Pro, I really want to use Onavo Extend