[SHORT IDENTIFIERS] See what ARMmbed is doing with SPDX Identifiers