If anyone is interested, I just wrote a patch for the bochs CPUID function that implements the extended topology (0xB) leaf. I think I did it correctly

. It works with current CVS. Just run the patch on cpu/cpuid.cc and it will report up to three levels (HT, Core, Processor) of topology information.
Enjoy.