2回目にvagrantを立ち上げたらディスクエラーが発生した件

概要

swooleを触ってみようとytakeさんのvagrant boxを立ち上げた。
一回目は特に問題なく立ち上がったのだが、再度立ち上げたところディスク共有のところでエラーが…。

Vagrant was unable to mount VirtualBox shared folders. This is usually
because the filesystem "vboxsf" is not available. This filesystem is
made available via the VirtualBox Guest Additions and kernel module.
Please verify that these guest additions are properly installed in the
guest. This is not a bug in Vagrant and is usually caused by a faulty
Vagrant box. For context, the command attempted was:

mount -t vboxsf -o uid=1000,gid=1000 vagrant /vagrant

The error output from the command was:

/sbin/mount.vboxsf: mounting failed with the error: No such device

一先ず下記の手順で作業をすることで復旧はできたので、ゲストとホストのkernelのバージョンが違ったんだとは思うが、2回目でエラーが出たのは初めてだ。

1. Host側でvagrant plugin install vagrant-vbguest
2. Host側でvagrant vbguest
3.仮想側でsudo yum -y update kernel
4.仮想側でsudo yum -y install kernel-devel kernel-headers dkms gcc gcc-c++
5.Host側でvagrant reload