Symbol: el3_isa_id_sequence