reset: Silence warning in reset-controller.h