While it is certainly a firmware bug indeed as BIOS's DSDT violate acpi spec, it seems no function is lost as kernel workaround it.
While it is certainly a firmware bug indeed as BIOS's DSDT violate acpi spec, it seems no function is lost as kernel workaround it.