I've found a non-sense line of code in
drivers/acpi/dispatcher/dsmthdat.c that does nothing and gives a warning
when compiling. Here I attach the diff file and a README.

Daniel Micol