Try to use ACPI Multiprocessor....it will help tame some of the bug in San Diego core