[U-Boot] [PATCH] print true board names on socfpga