@Taylor, Stefan Müller explained the details on comment 11 above.
However, I think the best way to add this option to grub would be the "# defoptions" line. It usually reads:
# defoptions=quiet splash
So you just need to add the boot option suggested, like this:
# defoptions=quiet splash acpi_os_name=Linux
And then update grub setup:
sudo update-grub
@Taylor, Stefan Müller explained the details on comment 11 above.
However, I think the best way to add this option to grub would be the "# defoptions" line. It usually reads:
# defoptions=quiet splash
So you just need to add the boot option suggested, like this:
# defoptions=quiet splash acpi_os_name=Linux
And then update grub setup:
sudo update-grub