Add the use of the 0.4.2-aarch64 tag for the top-level redox code and the kernel and syscall subdirs.