It is likely that those cores are dedicated to unrelated management, monitoring, and administrative tasks. This is common and many workloads are throttled on bandwidth anyway. For the purposes of the benchmark, those cores are not participating in the workload.

Yield. Some fraction of cores had a speck of dust or something, but at 38/40 good cores per chip they got economical yield