use correct SBD device name in VirtualBox

Somehow this got broken during the refactoring.