Fix up virtualbox device detection