Symbol: efi_kaslr_relocate_kernel