Does the Linux kernel have Smart Reflex support for AM335x + TPS65217 (i.e. BeagleBone)? This wiki page says nothing at all about Smart Reflex:
http://processors.wiki.ti.com/index.php/AM335x_Power_Management_User_guide
I saw a different wiki page (don't see it now!) which had mentioned Smart Reflex is enabled by default for AM335x, so it was a bit confusing.