[coreboot-gerrit] [S] Change in coreboot[master]: Makefile.inc: Add 'Wduplicated-branches' command option