Symbol: efi_setcurrdev