[bcx5k15]

probably

intel used to sell cheap core solos back in the core duo days, which were just duos where one of the cores was faulty so they disabled it.

Same with the F model (no iGPU) chips today. People have done teardowns and found that more often than not its there on the die, just disabled because its faulty.