This is not only occasional but common. ACPI tables are notoriously broken in many bioses and Linux in fact has to do a bunch of horrible workarounds in order t

This is not only occasional but common. ACPI tables are notoriously broken in many bioses and Linux in fact has to do a bunch of horrible workarounds in order to get working tables regularly.