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.
One thing caught my eye:
> The PAL Amiga 1000 came later, and WCS was finally part of the motherboard with Kickstart on an actual ROM chip.
I'm fairly sure that no stock A1000 ever came with ROM chips, so Kickstart always had to be loaded from disk. Happy to learn otherwise if I'm wrong!