xen: support CONFIG_MAXSMP