Fix licenses (the rest)
SELFOUR-836: Hardware debug API functions should take tcb_t and not arch_tcb_t Touches files all throughout x86 (32 and 64) and ARM.
s/D61/DATA61/ in license headers for consistency
Replace #pragma once with include guards
x64: Add x86_64 support