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