# CONFIG_XEN_STUB is not set