Fixes dasm thumb encoding.