Linux GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` GRUB_CMDLINE_LINUX_DEFAULT=”quiet splash pci=noaer” GRUB_CMDLINE_LINUX=” ” update-grub reboot
