[coreboot] New patch to review: 65f4170 re-indent, so files conform to coding guidelines.