[SeaBIOS] Re: [PATCH 2/2] add fwcfg override for pci_pad_mem64