[PATCH 3/3] xenconfig: Add support for max_event_channels