[PATCH v3 46/57] x86: Correct handling of MADT table CPUs