add printf template for kernel