Re: [U-Boot] [PATCH v3 05/16] include: kernel.h: include printk.h