[U-Boot] [PATCH] arm: socfpga: correctly reserve SRAM for boot counter