[coreboot-gerrit] Change in coreboot[master]: doc/getting_started: update name of file generated by "make savedefco...