Here is some further progress on this issue, which might help some folks:
I have upgraded to MCUxpresso v10.3.1 Build 2233, as the SDK Builder indicated that I need this. Interestingly, I was using v10.3.0 Build 2200, but checking for updates did not inform me that there was a later version.
I have also unzipped the installed SDK from within the IDE which has given me some arm libraries. I added one of these libraries by following the excellent guide here: https://community.nxp.com/docs/DOC-335465
Note that when adding the library name you must omit the "lib" prefix and the ".a" suffix. So to add library libxyz.a, you enter "xyz" as the library.
I added libarm_ARMv8MMLI_math.a.
Sadly, I started to get VFP errors in the compilation, and I think this is because I have settings for hardabi in the tools and the library in the SDK uses softabi. I think that this refers to whether or not floating point calculations are done in hardware or software and articles on the web suggest these shouldn't generally be mixed.
The SDK has only provided two arm libraries, neither of which recoginses that there is an FPU or DSP extension on core0. I think that the library I want is "arm_ARMv8MMLldfsp_math.a".
I have obtained this library from elsewhere, and my program compiles with a warning about 32-bit enums.
The code runs, but I am not seeing significant performance improvement between calculating the complex magnitude on the core and using the DSP extensions. Perhaps I'm not actually using them.
I'll continue to investigate.