Fixed VirtualBox 4.3 compatibility (FIXME: usb controller not supported)