Hello,
I’m a newbe with mangoh Red. 
My intrest is to use mangoh Red with a BLE Connection. I found the bluetoothUtil in the VM provided by Sierra Mobile.
But on my wp7607 module I cant fount the kernel modules hci_uart, bluetooth etc.
Now my question. Where can I found this kernel drivers?
Best Regards
Uwe