amd64: Properly size an array for SMP.