Add support for eventfd based kicking on linux.

This adds support for eventfd based kicking, with the skeleton of
support for runtime selection between eventfds and pipes.
11 files changed