I seem to recall setpatch needing to run in order for workbench to find AGA. Anyway, setpatch should be in your C directory.
I think your best bet right now would be to continue trying to get the cdrom drive running since the machine is at least booting (aga or not). If you can manage that, you can get setpatch from cd.