1 2
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpi_osi=!Windows 2012" GRUB_CMDLINE_LINUX=" acpi_osi=! acpi_osi=\"Windows 2013\" "