Several of the devs who use virtual machines to test are using the .run of virtualbox from the official site. There is not much point in packaging it until there is a set kernel version to compile the required kernel modules against.