[mpich-devel] Request for comments: MPICH device-specific timers