This may help..
Markus Bieler notes another difference in v40.70: "The Kickstart for the A4000T does not contain the workbench.library. It was removed from the ROM to the Workbench disk (in the LIBS: directory), to make room for the A4091 SCSI support. So there is a small difference between the disks supplied with the A4000T and the disks for the other OS packages."
http://www.gregdonner.org/workbench/wb_31.html