Improve coreboot build output and eliminate some warnings: