[U-Boot] [PATCHv4 5/6] ARM: socfpga: use the pl310 driver to configure the cache