Fix the default skeleton.
Now the OS is really started (tested with the Demo Led blinking task).