Re: [SeaBIOS] Fwd Re: [PATCH] move pcibios mem base back to 0xf0000000