When I ran my VXL030 I used romtagmem (should eb on aminet or someplace like that) to map in the high memory. Took a reboot to do that, but then it was able to remap kickstart up there too and have 32bit "ROM". I don't remember if I ran Zorro2 or other memory or not with it, but I didn't map VXL030 memory low, and I did not use their own utility for it high.
