[SeaBIOS] [PATCH v3 5/6] pci: cleanup config.h