Did you do the "fastboot flash boot boot.img" step like it says in the thread? Anyways, the ROM that you are using now is based on Cyanogenmod10. We have two kernels for that. Look in the index thread (link in my signature) for the two kernels. You can choose anyone you like.
Once you download the kernel, place it in C:\Program Files\Android\android-sdk\platform-tools of your PC.
Then switch off your phone, remove the battery, put it back in.
Then hold volume-down and power button till the phone starts.
Connect your phone to the PC. Now it should say "FASTBOOT USB" on the screen
Open command window in your PC and navigate to the folder where you have pasted the kernel file.
Then type "fastboot flash boot boot.img" without quotes (and assuming that the file is called boot.img)
Then type "fastboot erase cache" then "fastboot reboot"
Then wait for some time.. It should start.