Re: [Nios2-dev] [PATCH 11/23] nios2/time: Migrate to new 'set-state' interface