Make ARM tests green with Capstone