hw/riscv: microchip_pfsoc: Use the PLIC config helper function