Re: [PATCH] arm64: dts: rockchip: lower rk3399-puma-haikou SD controller clock frequency