[coreboot] WG: What is the best way to treat warnings reported by checkpatch.pl