selectors: add a comment to explain why and how poll timeout is rounded