s32v234evb29288_defconfig