thnks for great report. fixed.
pentagon is not just "bios", its separate driver, and already have port decoding for such weird addressing, because a lot of ex-USSR software uses it that way.
didn't know original 128k and +2 have such simplified 7ffd port decoding too. and even worst in the case of reading this port )