Re: [PATCH V2 4/7] clocksource: bcm2835: Migrate to new 'set-state' interface