If you spin up a 32bit guest system within vagrant using the virtualbox provider, setting the number of cpus is not enough. Meaning that the following won’t do: