[coreboot] New patch to review for coreboot: b4c6c2d Fix CONFIG_ use in i8254.c