Update Vagrantfile

32bitに変更するとき書き換えが一箇所で済むように