Made kprint() etc. pluggable.