Could you give a link? Please.
Here is the link to the Tiamat kernel which I am using and LOVE it. They just came out with version 4.04 non sbc and sbc. I'm still using the 3.3.7 SBC kernel which I'm very happy with.
Kernel page: Tiamat - Downloads
AND...the forum page:[Kernel][AOSP] Tiamat 4.0.4 | 2.6.38.7 | 5/28/11 - xda-developers
By the way: Everything works on the 3.3.7 and 3.3.8 kernels from the HDMI and tether, but on the 4.xx and above they are trying to tweek some settings it seems and left a few things out like the HDMI I think so I would say give 3.3.7 sbc a shot or 3.3.8. Hope this help.