[coreboot-gerrit] [M] Change in coreboot[master]: [only for test] Use -Wformat also for some 'debugging code'