Add aarch64 mini board definitions