GRUB_CMDLINE_LINUX_DEFAULT="quiet splash clocksource=hpet acpi=off noacpi usbhid.quirks=0x00eef:0x725e:0x40"