Linux Kernel Power Management work for Texas Instuments SoC:s