trivial: separate tk1 smmu from arm smmu

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>

capDL: Add kernel debugging tool for capDL

Add Arm debugging features of capDL Kernel Printing

Signed-off-by: Jingyao Zhou <Jingyao.Zhou@data61.csiro.au>

Convert license tags to SPDX identifiers

This commit also converts our own copyright headers to directly use
SPDX, but leaves all other copyright header intact, only adding the
SPDX ident. As far as possible this commit also merges multiple
Data61 copyright statements/headers into one for consistency.

aarch64: Hide capDL function behind CONFIG guard

This is to allow compilation using cmake build system when building
without debug settings. In the old build system this file was excluded
from sources whereas in cmake we still include it.

Fix licenses (the rest)

s/D61/DATA61/ in license headers for consistency

aarch64: Initial implementation

aarch64: add preliminary folders and Makefiles