Description of problem:

On ia64 systems the bootloader of choice is EFI.  EFI
requires a VFAT partition where kernel images, etc., are placed.

The current install command, "make install" executes /sbin/installkernel in
order to correctly place the bootimage, etc., in the INSTALL_PATH directory
(/sbin/installkernel is part of the mkinitrd package).

Currently, on ia64, the INSTALL_PATH directory is /boot.  This is incorrect,
and should be /boot/efi/efi/_vendor_specific_/ .  For example, in the case
of RedHat INSTALL_PATH should be /boot/efi/efi/redhat/.

The patch below modifies the /sbin/installkernel script so that

a) Creates LINK_PATH which indicates which directory the soft links should
be created in.  By default this is set to /boot, which is where the links
are currently being created.
b) Correctly creates the links in $LINK_PATH and not in $INSTALL_PATH, and
c) Creates the $KERNEL_NAME soft link once.

Verified on ia64 and x86_64.

I hope that we can get a mini-review and resolve any issues here so that I can
push this upstream.

Version-Release number of selected component (if applicable): Pretty much every
version...

Steps to Reproduce:
1.  execute make install in the kernel sources
  
Actual results:

vmlinuz, System.map are placed in /boot.

Expected results: vmlinuz, System.map should be in /boot/efi/efi/redhat


Additional info:

Need to add /boot/efi/efi/redhat/System*.map as a system_u:object_r:system_map_t:s0