Minor updates to virtualbox driver