I use to do just that: Add printf statements in the kernel and run with LWS=1 GWS=1 and the CPU device.