require u-boot-socfpga.inc