Added actual list of supported OSTYPES for VirtualBox 4.2.18r88780

You can easily get this list with your installed version of VirtualBox
by running the command "vboxmanage list ostypes".