I can also confirm that virtualbox-dkms/precise-proposed works fine for both 3.2 and 3.5 kernel. I will attach the output of `dpkg-reconfigure virtualbox-dkms`.
I can also confirm that virtualbox- dkms/precise- proposed works fine for both 3.2 and 3.5 kernel. I will attach the output of `dpkg-reconfigure virtualbox-dkms`.