[coreboot-gerrit] Patch merged into coreboot/master: bda9a82 Documentation: Use correct file name for the build guide in the Makefile