On ia64, only the EFI (fat) partition is available to boot from.  The rpm
needs to install the kernel under /boot/efi to be useable on ia64.
Signed-off-by: NGreg Edwards <edwardsg@sgi.com>
Signed-off-by: NSam Ravnborg <sam@ravnborg.org>