Update ISA encoding and AUIPC semantics