Github Issue #885 - qubes-dom0-update could check whether /boot is mounted

It can be done with encrypted root as well e.g. encrypted /boot scenario:

Yes, that’s unlikely but still possible scenario with some custom partitioning or user commenting out the /boot in fstab instead of adding noauto option.