Re: [U-Boot] rockchip: rk3399-puma: reduce sd card max-frequency to 40MHz