If auto-reverting of non-file buffers is enabled, the Buffer Menu
(see Operating on Several Buffers)
automatically reverts every
auto-revert-interval seconds, whether there is a need for it or
not. (It would probably take longer to check whether there is a need
than to actually revert.)
If the Buffer Menu inappropriately gets marked modified, just revert it manually using g and auto-reverting will resume. However, if you marked certain buffers to get deleted or to be displayed, you have to be careful, because reverting erases all marks. The fact that adding marks sets the buffer’s modified flag prevents Auto Revert from automatically erasing the marks.