[coreboot] New patch to review: a81e32c Trivial compilation fix