fix the vagrant box identifier (it's 32bit, not 64bit)

Signed-off-by: Dominik Richter <dominik.richter@gmail.com>