u-boot/include/configs/evb_rk3588.h