[coreboot-gerrit] Change in coreboot[master]: util/intelmetool: Be explicit about *kernel* cmdline arguments