On my Gigabyte mobo it is CPU multi Threading. I can't find Hyper Threading in the BIOS.
Must just be a brand thing in the BIOS then as my DFI's call it the other but yes I'd still leave it enabled.
It's a performance thing that will manifest itself depending on what you are doing.
My equipment crunches distributed computing work units so my PC works on 8 work units at the same time whereas if that were disabled it would only do 4 at a time.