[PATCH] arm: socfpga: soc64: Fix with correct header file