This is probably better addressed on the mBed OS support forum:
Thanks for the reply
I have asked in mbed forums but had no help there.
It was suggested to me that the wrapping of the SDK to the Mbed API is actually done by NXP thus the question on this forum.