The specific header file is probably not copyrightable anyway, since it's so trivial, but let's still add the SPDX header line so that a systematic check for the line does't spit out this header needlessly.