Xen: reduce memory required for cpu_evtchn_mask