ARM: socfpga: make sure socfpga_cpu1start_addr is properly flushed