We are currently working with a NXP based S32K148 unit where the crystal frequency is set to 12MHz. Can you please help us out where we can set this frequency in a MBD?