If you want to try getting something to work on the E51 hart, you should be using the rv64imac generic BSP. You may need to create a new BSP to support this part of the PolarFire chip with appropriate peripherals. If you really want to use the existing mpfs64imafdc BSP, you need to edit its abi.yml under the spec/ tree.