Add printk lib and some string functions.