[SeaBIOS] [PATCH v2 2/2] update pci_pad_mem64 handling