config_query SELINUX "Enable SELinux support?" n
config_query_option  HALSONY "Sony PIC support?" n \
                             "--enable-sonypic"    \
                             "--disable-sonypic"
config_query_option  HALACPI "ACPI support?" n \
                             "--enable-acpi" \
                             "--disable-acpi"
config_query_option  HALAPM  "APM support?"  n \
                             "--enable-apm" \
                             "--disable-apm"
config_query_option  HALPMU  "PMU support?"  n \
                             "--enable-pmu" \
                             "--disable-pmu"
