These were running on armhf because that's the default in the custom distro that Raspberry Pi provides, but arm64 is ~20% faster, and we already run weekly tests on both arm64 & armhf, so let's keep only the faster one in the pre-merge path.
/cc @jasuarez @chema @itoral