cpu/isa: Fixed some formatting in encoding table