[worthless-trash]

I dont think it even needs a bios mod, i think you could get away with updating the acpi tables ( See https://docs.kernel.org/admin-guide/acpi/initrd_table_overri... )

[immibis]

Right, and Windows probably has something similar (maybe it requires loading a driver). This is BIOS-style code interpreted by the OS, so you can patch it at the OS level.