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.