Re: [PATCH] rockchip: Use an external TPL binary on RK3588