Update plugins for capstone-{next|ppc} new API