add SPDX license headers#28

lsf37 merged 2 commits intomasterseL4/machine_queue:masterfrom

spdx-license-headersseL4/machine_queue:spdx-license-headersCopy head branch name to clipboard