[PATCH v4 46/59] x86: Correct handling of MADT table CPUs