[coreboot-gerrit] Patch merged into coreboot/master: 70a6b4f arch/x86: Guard option table specific rules with HAVE_OPTION_TABLE