Re: [SeaBIOS] PCI regions mapping problem