How to configure XRDC to enable multicore for S32K358