xen/evtchn: support more than 4096 ports