Re: [SeaBIOS] [Qemu-devel] [PATCH] add 40-48 bit RAM range to seabios