- the library names match those in CMSIS proper
- includes are not further namespaced (via named directory within
  include/) as they expect to find one another directly, and there's
  quite a dance to determine which file to #include (and therefore how
  to adjust them) so I don't think it's worth it