* util/grub.d/10_linux.in: Allow the administrator to insert Linux command-line arguments via ${GRUB_CMDLINE_LINUX}.