u-boot/board/terasic/de10-standard/socfpga.c