u-boot/board/terasic/de0-nano-soc/socfpga.c