u-boot/configs/s32v234evb_defconfig