Add printk support. Only supports format %d currently.
Add printk format '%x' support