[coreboot-gerrit] Change in coreboot[master]: util/board_status/board_status.sh: select the right gnu make binary