[coreboot] Patch merged into coreboot/master: 6fa3096 Whitespace fixes