emx: emx_timer() only requires main serializer