config_query XEN_CONFIG "Run kernel config?" n
