Fix licenses
libsel4debug: fix arch paths in makefile The projects wants sel4_arch but the files are a mix of arch an sel4_arch this patch makes all paths use the sel4_arch and fixes the paths accordingly