Update Vagrantfile
Use hardwaremodel instead of architecture