core: Use eventfd for alert pipes on Linux when possible