Gary, it's in the RDK-BDC Firmware Development Package
USER’S GUIDE. (RDK-BDC stands for Reference Design Kit - Brushed DC motor)
You can get it from the Firmware Development Package here:
http://www.luminarymicro.com/products/rdk_bdc.html
Look under "software updates"
(It looks like they've updated it since November)