it might make sense to check before updates to /boot whether it is actually mounted by checking whether there are any files in /boot.
I just noticed that qubes-dom0-update wrote to /boot without it being mounted (i.e. it wrote to a previously empty folder on /). I usually don't mount /boot in fstab, because it tends to make the boot process faster by a couple of seconds (& grub doesn't really seem to need it as it is more low-level).
Reported by marmarek on 27 Jul 2014 20:49 UTC
https://groups.google.com/d/topic/qubes-devel/28AYrjm-DgM
Migrated-From: https://wiki.qubes-os.org/ticket/885