It's not quite as simple, unless Intel opts for clustered switching. And even still, what if a process with optional AVX support starts up at the small cores, detects the presence of AVX on the small cores (it will be "unsupported" there), and skips using its AVX codepath. While on another case...