Linux grub_cmdline_linux_default vs grub_cmdline_linux: Understanding the key differences explained 23/12/2024