[Bug 902521] bootloader installation fails to recognize xen kernel