Add more Thumb encodings.