{
  # see https://bbs.archlinux.org/viewtopic.php?pid=2227023
  boot.kernelParams = [
    "acpi_osi=\"!Windows 2015\""
  ];
}