[PATCH v3 01/10] rockchip: Use an external TPL binary on RK3588