Does TI have a Platform Support Product for the OMAPL138 sleep mode? Something like a linux driver that could run on the ARM side that will perform all the appropriate actions (registers settings) in the proper sequence to go into and out of sleep mode.