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