[PATCH] arm: socfpga: Add function to get Board ID