Add MonotonicCounter driver, which produces MonotonicCounter arch protocols