Indeed, the CMakeLists.txt files provided by ARM don't support dll
(there is no export).
So that that's the best solution to avoid to maintain our own patches to
the build system.