OK, then it's BIOS that has changed the behavior. Let's retry acpi_osi things. Pass acpi_osi="!Windows 2012" and give the dmesg output.