Enhance the "Debugging ACPI" section with a ACPI disabling part
(it is not easy for the user to find how to disable the ACPI
system). While I'm there, rename the section to "Debugging and
Disabling ACPI".