[coreboot] Re: A different lapic number in devicetree.cb needed for CPU with the same SKU and steping (Intel Atom C3538).

[Javier Galindo]

Does this thread help (reply post by Sumo specifically for this issue)? I don't think this was ever upstreamed.

https://mail.coreboot.org/hyperkitty/list/[e-mail]/thread/MCRPR...