Current x86 implementation of Device Tree does not support multiprocessing, and the bindings documentation describes the "reg" property as CPU number instead of hardware-assigned local APIC ID.
Ivan Gorinov (2): of: Documentation: Specify local APIC ID in "reg" x86/devicetree: Use CPU description from Device Tree Documentation/devicetree/bindings/x86/ce4100.txt | 38 ++++++++++++++++----- arch/x86/kernel/devicetree.c | 42 +++++++++++++++++------- 2 files changed, 60 insertions(+), 20 deletions(-) -- 2.7.4