Add basic specs for Kernel.printf
Fixed Kernel.printf for non IO arguments

Fixes #2624