customized for crosstyan/air001-cmake-hal.
Looks like air001 is the same chip as py32f0.
I should look into it later.
See air001-cmake-hal
Upstream is ARM-software/CMSIS-DSP. Seems an old version of CMSIS-DSP is included, but I can't really see if it's used anywhere in Arduino.