9 update_file /usr/lib64/efi/xen.efi xen.efi
10 update_file /etc/efi-boot/xen.cfg xen.cfg
12 update_file /boot/kernel-axeos-initrd kernel-axeos-initrd
13 update_file /boot/kernel-axeos-vmlinuz kernel-axeos-vmlinuz
15 update_file --missingok /boot/kernel-axeos-initrd.old kernel-axeos-initrd.old
16 update_file --missingok /boot/kernel-axeos-vmlinuz.old kernel-axeos-vmlinuz.old