9 update_file @libdir@/efi/xen.efi xen.efi
10 update_file /etc/efi-boot/xen.cfg xen.cfg
12 update_file /boot/initrd initrd
13 update_file /boot/vmlinuz vmlinuz
15 update_file --missingok /boot/initrd.old initrd.old
16 update_file --missingok /boot/vmlinuz.old vmlinuz.old