efi_kaslr_get_phys_seed
efi_kaslr_get_phys_seed(image_handle));
u32 efi_kaslr_get_phys_seed(efi_handle_t image_handle);