[arm64] Add additional kernel with 64k page size

Kernels with 64KB pages perform better than the default 4K for systems with lots of memory and large workloads. For this reason, all major distros provide a 64KB arm64 kernel. Let's do that too.