Comment 5 for bug 1758992

Yes, I was referring to the platform of the pre-built toolchain, not the kernel.

I patched the vendor headers to use a uint16_t which is how they worked around it in later releases of a different soft device. (Apparently they didn't bother to report the bug.)