Re: [U-Boot] [PATCH] [build] Automatically build the device tree if DEV_TREE_SEPARATE is set