RE: [PATCH 1/1] arm: socfpga: Migrate CONFIG_HPS namespace to HPS