[RESEND PATCH v2 3/4] add a helper function to read kernel cmdline parameter from GRUB_ETC_DEFAULT