Re: [U-Boot] [PATCH 3/7] kc1: Select libfdt to allow running devicetree-based kernels