Hi,
I'm not sure where is the problem - just hook up the HC-06 to the board. You need to connect power and Uart TX/RX. There is nothing special about it.
You can find EVB pinout in getting started guide: https://www.nxp.com/document/guide/get-started-with-the-s32k144evb:NGS-S32K144EVB
You can modify an existing HC-06 driver for Arduino or write your own one.