Add 32bit Ubuntu vagrant boxes