The emergency boot disk always worked for me on my heavily expanded A1200 tower - I'd recommend at least giving that a try. IIRC the thing that's missing from A4000 ROMs is workbench.library - maybe try version workbench.library in the shell and see what it comes up with? It might need to be copied over from the 3.1 partition...