I found the file   rk3328_ddr_400MHz_v1.16.bin   at https://github.com/rockchip-linux/rkbin/...r/bin/rk33 which mitigates the performance loss a little bit compared to the 333 MHz setting.  Stability still seems fine.