[SeaBIOS] Re: PCIe ECAM space