printf() is part of the specs (not an extension), assert not. So I suppose the best way is to verify inside the kernel and scream "FAIL"? 

Passing the input buffers like that sounds good to me.