[coreboot] [PATCH] Fix a build error when using bison-2.4