[PATCH 4.20 060/171] x86/kexec: Dont setup EFI info if EFI runtime is not enabled