ARM THUMBEE support