[coreboot] New patch to review for coreboot: 0bb3bba Whitespaces changes.