Excuse me, if i'm ignorant or something, but what is that kernel you're talking about, the davestan kernel
It's in the link that I posted. It's stock .35 kernel with Wifi fix that Davestan added. Korrectmethod originally posted a way to get the funnysim CM9 running with obbfix patch; this kernel will allow you to use CM9 on nbb.
The obbfix was neccasary to get nbb roms to work with obb. The funnysim version of the rom lets you save the APN so that the data connection works. The problem is, roms after beta 4 like hephappy's don't have the funnysim support and require the V20G baseband, which P505/6 (Phoenix/Thrive) don't support since we are still on V20F.
So if we want the latest CM9, we still need someone to come out with a kernel that officially supports CM9 w/o the workarounds. I would recommend sticking with CM7 until such time.