Conte por que você acha que a classificação de “aarch64-linux-gnu-picolibc” deveria ser diferente. Citações de fontes ajudam.