android/kernel: add printk_interface