xen/dev-evtchn: clean up locking in evtchn