Serial number to use for mac osx in virtualbox