move printf to kernel