If you buy an A1200 (which, I agree with Sardine, is the best choice) you should either get it with the Workbench floppies, or Workbench on the HD. If not, some people sell the OS separately, but it can be hard to track down, so best to buy with.
You are correct Kickstart is ROM firmware...