The config option HAVE_CAPSTONE is added in the previous [1] and the Kconfig options should be sync with it. [1] https://github.com/gem5/gem5/pull/494 Change-Id: Id83718bc825f53d87d37d6ac930b96371209bdb3