u-boot-brain/board/terasic/de10-nano/socfpga.c