While we're at it, also add the Thumb-2 encoding to the encoding table to make sure it isn't forgotten about in the future.