Allow vbox_create.sh with Vagrant to be run multiple times fixing up grub-pc
issues.