Updates GRUB_CMDLINE_LINUX_DEFAULT for verbose boot