Re: [PATCH v3 11/20] rockchip: rk3588: fix non-working SD controller if booting from other media