Before going to all the trouble of debugging the kernel, I searched and waited for over a month for something to come up. (Also detailed my problem in several threads.)
I saw that thread, but it seems to be particular to a lot of Asus issues, asus bios issues and its dsdt, and also revoboot. (My motherboard is a gigabyte ga-h67ma-ud2h-b3). I looked thru the source code to revoboot as well, didn't see a relevant fix there, the source code doesn't compile, and I didn't see any binaries to try.
I should point out that with my MSR fix I finally have a working lion install on my gigabyte motherboard. Perhaps this finding is worth a separate gigabyte lion thread...
I just checked RevoBoot from github and it compiles just fine. I guess you missed the lines explaining what to do: either copy or rename some of the template files. Too bad that you had to run into this, and that you did not provide any feedback about this problem, because I would have taken care of it right away. Like I just did with my latest commit
so that other people won't run into the same kind of trouble... when they skip the README file.
Anyway. Your GB board seems to have some sort of BIOS bug, or perhaps this is just due a wrong settings, but this is why I took care of it in RevoBoot... by checking a different MSR:
msr = rdmsr64(MSR_PLATFORM_INFO); // 0xCE
uint16_t minBusRatio = (msr >> 40);
uint16_t maxBusRatio = ((msr >> 8) & 0xff);
printf("Busratio (min): 0x%x (%d)\n", maxBusRatio, maxBusRatio);
printf("Busratio (max): 0x%x (%d)\n", minBusRatio, minBusRatio);
So what does that give you? Oh. When this MSR also returns zero's where it should return the correct multipliers... All hail to Asus engineering for listening to us
p.s. RevoBoot is just a vehicle to get things going.