Cheers for the heads up!
zakk: if you have any expertise with main, could you add another OSD option to load an extended rom? CD32 has one I believe. Would be good to keep them separate and load correctly into mem, still allowing the A1000 roms to work correctly in the memory map.