[SeaBIOS] [PATCH v2 11/19] Clean up #if in pirtable.c. CONFIG_PIRTABLE can't be set if CONFIG_COREBOOT is