I'm trying to mod the BIOS of my laptop, a HP nc6320, because only works with one of the two cores and I have to put cpus=1 in the boot.
So when I saw this post I thought I had the same problem.
Well, I have installed a Linux in my laptop to dump and disassemble the dsdt with acpidump and iasl, the thing is that I haven't found anything like the example above, you can check the attach file.
I don't know how to solve the cores problem if it's not of the dsdt, any suggests??
I attach my dsdt.
Thank you so much.