licenses: convert license tags to SPDX
add arch_tcb object to C, rename aep -> ntfn
Import release snapshot.