[SeaBIOS] PCI regions mapping problem