I see there aren't any build dependencies on xen -- is the Monitor_types module unnecessary?