ia64 upgrade doesn't mount /boot/efi. As the result, my /boot/efi is not updated. All the new kernel files were installed under the mounting point, /boot/efi.
upgrades won't be supported until the release after the first official Red Hat Linux release for ia64