grub

grubの設定は、/etc/default/grubを編集。
# grub-mkconfig -o /boot/grub/grub.cfg