Files
u-boot/board/freescale/s32v234evb