Re: [U-Boot] [PATCH v3 3/4] pico-imx7d: Make SPL binary fit into 64kB