[SeaBIOS] [PATCH V2 5/9] buildrom.py: Handle image size in PCI header