[ibara]

By the way, the magic lines are

cpu0: smt 0, core 0, package 0

and

cpu1: smt 0, core 1, package 0

When smt is marked 0, it's a real core. When it's 1, that's the hyperthread core.