Re: [SeaBIOS] [PATCH] seabios/pci: enable 64 bit bar on seabios