config_query  XEN0  "Run kernel config for supervisor kernel"  n  &&
config_query  XENU  "Run kernel config for user kernel"        n
