Oh, that is something different. BIOS should be reading all cores. What bios chip does the Foxconn use? Are you sure you have the latest bios update? It may be your board shipped with a bios not recognizing the Phenom X4.
Check Foxconn's website and let us know what you find.