xen: add the HAVE_CONFIG_H macro guard