Comment # 15 on bug 1117584 from Joey Lee

(In reply to Hadrien Grasland from comment #12)
> Created attachment 807962 [details]
> ACPI dump from affected machine

Base on dsdt, firmware generated invalid Processor ID after 8 threads. All of
them are 0xFF:

            Device (SCK0)
            {
                Name (_HID, "ACPI0004" /* Module Device */)  // _HID: Hardware
ID
                Name (_UID, "CPUSCK0")  // _UID: Unique ID
                Processor (CP00, 0x00, 0x00000410, 0x06){}
                Processor (CP01, 0x02, 0x00000410, 0x06){}
                Processor (CP02, 0x04, 0x00000410, 0x06){}
                Processor (CP03, 0x06, 0x00000410, 0x06){}
                Processor (CP04, 0x01, 0x00000410, 0x06){}
                Processor (CP05, 0x03, 0x00000410, 0x06){}
                Processor (CP06, 0x05, 0x00000410, 0x06){}
                Processor (CP07, 0x07, 0x00000410, 0x06){}
                Processor (CP08, 0xFF, 0x00000410, 0x06){}  // the 9 CPU
           ...

It violates ACPI space. Base on ACPI spec, the ProcessorID must be a unique
value:

Declares a named processor object named ProcessorName . Processor opens a name
scope. Each processor is required to have a unique ProcessorID value that is
unique from any other ProcessorID value.