I think it is logical to name the virtualbox modules for their virtualbox version since it is that version the modules are specific for rather than a Debian repo. So the modules are now named:
virtualbox-4.3.18-host-modules-3.16.6-tinycore
virtualbox-4.3.18-guest-additions-modules-3.16.6-tinycore
I did try to build modules for dCore-wheezy, but the 4.1.18 package has an issue building with the new kernel, same error here as on the bug report below and the solution in it's follow up. Use the 4.3.18 virtualbox from wheezy-backports instead.
https://lists.debian.org/debian-backports/2014/03/msg00065.htmlVirtualbox-qt is available in the contrib section of wheezy-backports. Use the below entry in an /opt/debextra file to import it:
http://http.debian.net/debian wheezy-backports contrib
I have tested Virtualbox with each dCore x86 port and all is working as expected. When a port has an updated Virtualbox package, I will then provide a set of kernel modules for it.