その後のGuest Additionsのインストール時に
update-initramfs: Generating /boot/initrd.img-/4.4.0-21-generic update-initramfs: Generating /boot/initrd.img-/4.4.0-28-generic update-initramfs: Generating /boot/initrd.img-/4.4.0-31-generic ...
みたいなのが延々続いて凄く時間がかかるようになった。
disk usage - How do I free up more space in /boot? - Ask Ubuntuを参考に
sudo apt-get purge $(dpkg -l linux-{image,headers}-"[0-9]*" | awk '/ii/{print $2}' | grep -ve "$(uname -r | sed -r 's/-[a-z]+//')")
して、不要なカーネルを削除すれば良いっぽかった。
というか少し前に試して良さげに感じたんだかどうか忘れてしまった。
何だかそんな感じのことがあったような程度の備忘録として。