Use 32-bit CentOS for the Vagrant VM.

Fixes #5063