Replace ports virtualbox-ose* with the jkim version from redports, should
fix the segfault issues we are seeing.