[system-administrators-guide/22] Customizing the GRUB 2 Configuration File