Hi psxphill, et al.
It's possible that an a1200 kickstart would work in an a4000.
Possible? I don't think so, but not recommended.
For starters, the A4000 kickstart has routines in the boot code to set the state of the MAPROM function on the A3640 card, which the 1200 kickstart doesn't.
Cheers,
Red