That??s it! Now, Device Supervisor will look for the most recent drivers and automatically set up the available ones. All You need to do is solely restart your program to ensure that a different driver comes into effect. after you've patched the kernel include the debian packages: acpid, acpi