~ sudo pacman -Qi grub | head -n2 Name : grub Version : 1:2.02.beta2-2 ~ sudo diff -u /boot/grub/grub.cfg.save /boot/grub/grub.cfg --- /boot/grub/grub.cfg.save 2014-02-25 12:57:35.613389778 +0100 +++ /boot/grub/grub.cfg 2014-02-25 13:03:32.394883830 +0100 @@ -94,6 +94,7 @@ ### BEGIN /etc/grub.d/10_archlinux ### menuentry "Arch Linux pkg-linux kernel" --class arch-linux --class arch --class gnu-linux --class gnu --class os { + if [ x$feature_all_video_module = xy ]; then insmod all_video fi @@ -112,6 +113,7 @@ menuentry "Arch Linux pkg-linux kernel (fallback initramfs)" --class arch-linux --class arch --class gnu-linux --class gnu --class os { + if [ x$feature_all_video_module = xy ]; then insmod all_video fi