If RAM is installed above 16 MB (0x0100 0000), and especially at 0x1000 0000 - 0xFF00 0000. Can the Kickstart v1.3 even handle it ..?, what's needed to add the memory to the available allocation pool?
Calling exec/AddMemList is the easy way. The harder way would be to have autoconfig for the memory. But since you're in control of the whole HW anyway, why bother...
Note however that the maximum address you may use is 0x7fffffff. For instance exec/AllocEntry uses negative return code to indicate failure, and thus >= 0x80000000 cannot be used.