[coreboot-gerrit] New patch to review for coreboot: 6cf6e4f Documentation: Use correct file name for the build guide in the Makefile