Vagrant config to create 32 bits ubuntu image for docker