Fix overly slow build of Vagrant basebox

Without /proc mounted, at least on current sid, least apt-key and apt update use lots of CPU for a very long time.

Closes #20458 (closed)