Symbol: efi_hardprobe