While any name works, the standard is kick13.rom . Some advanced setups use kick34_5.rom (where 34.5 is the revision number).
If you want a clean, verified, working ROM file, use these sources. kickstart 13 amiga download new