[PATCH] x86: fix smp_num_siblings on buggy BIOSes