Unfortunately that documentation appears to be out of date and incorrect. The page you are referring to is for the v3.2 kernel. The most up to date documentation can be found here (currently documents the v3.12 release included with SDK 7.0):
http://processors.wiki.ti.com/index.php/Linux_Core_Power_Management_User%27s_Guide#CPUIdle.
I have also updated the old document to reflect the correct C-States that are available. Thanks for pointing this out.