Note that the consumers do NOT necessarily get round-robin access.

Note that I did *not* say that.  What I said is that the wakeup queue
is equivalent to a round-robin scheduler.  It is.  But the actual
behaviour at run-time depends on how fast an application can requeue
itself.