[U-Boot] [PATCH v2 05/17] include: kernel.h: include printk.h