[coreboot] Patch merged into coreboot/master: b0a31b4 White space and coding style fixes.