Energy-Optimizing Source Code Transformations for OS-driven Embedded Software