Fix bug where the comma separating kernel_instantiations would not be
emitted.

Patch by Andrei Lascu.