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