[PATCH 105/108] x86: Correct handling of MADT table CPUs