IBM 5170 bios bigger than 8k?

If an IBM 5170 wants to use a BIOS bigger than 8k (which is located at the final segment 0xF000:0000 afaik), how does it use bigger ROMS? Is some I/O operation used to read the rest of the ROM?
Topic archived. No new replies allowed.