で、>>165 を見ると、BIOS 的に disabled にされているような気がするですね。

> MADT: Found CPU APIC ID 130 ACPI ID 3: disabled
> MADT: Found CPU APIC ID 131 ACPI ID 4: disabled

確認は、現地が月曜になってからかなと。