[U-Boot] [PATCH] generic board for socfpga