Add kernel routines (2): printf()