I am using S32DS to debug MPC5748G. I want to enable the HSM module in MPC5748G. I found that in order to activate the HSM module, I need to set the HSE bit via DCF record. But I didn't found a way to set the DCF record. How can I access the DCF record in order to enable the HSM module in MPC5748G?