Add cheri arch spec