Fix #13138, a bug around ARM instruction DSB encoding and decoding issue.