Re: [PATCH 1/2] ACPI: processor: Do not use C3 w/o ARB_DIS=1