Update VagrantFile

Add ability to make IA32.efi