fine tune our check for virtualbox-4.x vs 4.3

Change-Id: I75018553154524fbc1ab6c61131d2f390779868d