[Bug 846831] The openSUSE 13.1 RC1 install medium is not able to load the kernel when booted via UEFI