[PATCH v4 18/21] arm: socfpga: Add ATF support to query FPGA configuration status