Tiny11 core arm64

De Tiny11-kern voor ARM64 is uit met verbeterde prestaties en een kleinere schijfvoetafdruk