CONFIG_XEN_PRIVCMD=m
