Modification de la variable guest_os_type pour Ubuntu 64bit.