Well, they did have bootstrap ROM chips that had enough firmware in them to get the Kickstart off the floppy and install it in the WCS. But I believe you're right that Kickstart in ROM wasn't until the A500/A2000 in 1987.
yeah you're both right, WCS is on the main board in PAL machines, but not the Kickstart ROMs. I got confused because when I finally fixed the issues with the CPU socket I already had the Parceiro plugged in and it injects Kickstart on boot from the SD card. I'll edit the blog.