Maybe it can be fixed with custom ACPI tables or a custom kernel driver? Try running acpi_listen and pressing an Fn+something combo to see if it's ACPI-based.

Maybe it can be fixed with custom ACPI tables or a custom kernel driver? Try running acpi_listen and pressing an Fn+something combo to see if it's ACPI-based. If so, it's a relatively easy fix by disassembling the ACPI tables, altering them and then using a bootloader that can replace the tables like I think grub supports (or if running Linux using kernel parameters to replace them).