--- Quote Start ---
I have configures the AXI port attributes as you said and also sending to the HDL module the physical address | 0x80000000, but I am getting a kernel panic after starting writing to that memory location, did you configure something for the ACP port before using it?
--- Quote End ---
Does it work without "| 0x80000000"? That bypasses the cache so needs non-cached memory (pgprot_noncached) but should work correctly. If you get kernel panic on both, it has to be a driver typo/issue. If it only happens on ACP, I don't know. The AXI port attributes were the only thing I needed to change for ACP, no software changes were needed other than the flag.