Version 4.2.4 from Oracle was running fine with Kernel 3.7-0 and
is running fine too after dist-upgrade and Kernel 3.7-1 with no need to act on it.
greets ayla
Edit:
Short description how I installed it:
apt-get purge virtualbox
added:
deb http://download.virtualbox.org/virtualbox/debian wheezy contrib
to one of my sources.list in /etc/apt/sources.list.d/
apt-get update
apt-get install virtualbox-4.2 dkms
The new installation has found my old guest system. I hadn't done anything else, except adding my user to group vboxusers in /etc/group, just works.
ahm... If the extensionpack for 4.18 was installed, vbox will detect it and ask whether it should get updatet.
Good idea to say "yes".