Fix xen config in config.mk