http://bboah.claunia.com/a4000tc.html, "workbench.library was moved from ROM, supplied on the Workbench disks and is loaded from LIBS:"
I do not think this is your booting problem but is something to consider when trying to boot from floppy when trying disconnecting drives to find your problem.
