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