The 4 extra cores would be virtual hyperthreading cores. 4 physical cores, and one more virtual one per physical.
I don't see any reason why you would want to disable that in BIOS.