Non so a chi possa innteressare, perchè è un problema che ho avuto solo con suse su un inspiron 5150, comunque ho risolto passando al kernel il parametro acpi=ht . Presumo che acpi venga abilitato (comunque chiedo conferma),il boot non si blocca e YAST vede corretamente due processori