[U-Boot] u-boot-socfpga/master unbuildable on S10