The 480p Camera Kernels are "mods" to increase the amount of RAM available by lowering the Camera quality. Since this is the Official CyanogenMod 9 ROM, I don't think they would "cripple" a function of the phone to get better performance. So its most likely 720p.
XDA Developers was founded by developers, for developers. It is now a valuable resource for people who want to make the most of their mobile devices, from customizing the look and feel to adding new functionality. Are you a developer?