u-boot question regarding the rockchip rk 3399...