[PATCH v1 44/54] x86: Correct handling of MADT table CPUs