Re: [U-Boot] [PATCH v1 03/11] include: kernel.h: include printk.h