[SeaBIOS] [PATCH RFC 4/7] buildrom.py: Handle PCI header checksum