`asimcard_ef_update_dedicated(ef, "416e647...")`