[coreboot] [PATCH] Fixes the build error while generating option_table.h