Does that matter? I lean towards the yes-the-ISA-matters camp, but I'm also under the impression that most silicon is dark.