u-boot/board/is1/socfpga.c