More likely your updated Linux kernel checks for those specific bugs in those specific ACPI tables. If it finds them, it tells the kernel to ignore them and rep

More likely your updated Linux kernel checks for those specific bugs in those specific ACPI tables. If it finds them, it tells the kernel to ignore them and replace them with driver code. And then they actually bothered to test the driver code and make sure that it actually works.