I see that these instructions require usage of NullCPU.kext, but in e6420 (DSDT research thread) it says it is possible to run it with Native Power Management. For that the only requirement is proper DSDT (which we have, right?) and SpeedStepper patch (which allows AICPM.kext to load without KP). The original SpeedStepper won't work in non-10.7.2, but here you can get a patch script which works for any AICPMPatch.
Now with all that in place boot hangs after "Waiting for DSMOS...", but there are no KPs. Any ideas how to troubleshoot this?
P.S.
For those who have issues with mouse and trackpad going crazy (or not working with PS2 enablers) -> remove Touchpad plugin kext from ApplePS2Controller kext.
For dual boot with Win 7 I'm using Clover v2 UEFI bootloader, since e6420 supports EFI. For that your hard drive needs to be partitioned in GPT.