It turns out that the new way is

    echo quiet > /sys/firmware/acpi/platform_profile

Perhaps you could include this information in a README.Debian file?  It
would have saved me some searching.

Reply via email to