Bug#1094790: tuned: kernel cmdline tunings are not applied when booting from grub submenus

[Yoann Congal]

FWIW, the patch for this bug is now released in tuned >= v2.25.0