e.g. our Xen today deploys as
/boot/xen.gzwhich can conflict with/be overwritten by other Xen installs from the host package manager or manual Xen installs, and should probably be:
/boot/xen-edera.gzetc.
See also: https://github.com/edera-dev/linux-kernel-oci/issues/122