[coreboot] New patch to review for coreboot: f80c3d9 Trivial: Change <tab># to <tab>@# in Makefile command