Код:
[MISC]
HIMEM=ATM710

{...}

[ROM]
ATM=xbios132xt.rom
У меня такие ключи/разделы. Вроде бы, этого достаточно.