Improved system ON RTC example

The system ON RTC example is modified to make it more similar to the
other examples.
Also, WFE() is replaced with the WFE, SEV, WFE pattern, which is the
recommended way to enter system ON.
Other minor changes.