Thanks for the reply. I've got a vanilla 10.7.4 disk now, I also have a disk with modcd on it, but how do I use a lion kernel with modcd?