In puavo-install-grub, do weird tricks to try to force disk
caches to be flushed, to prevent grub issues.  Not sure if this
makes sense, though, but we'll try.