Fix FS#10231. The gwps_leave_wps() call at powering down is completely unnecessary...
tree3237ceb04c26a9d8342862b249fe3d216506da37
drwxr-xr-x - apps
drwxr-xr-x - backdrops
drwxr-xr-x - bootloader
drwxr-xr-x - docs
drwxr-xr-x - firmware
drwxr-xr-x - flash
drwxr-xr-x - fonts
drwxr-xr-x - gdb
drwxr-xr-x - icons
drwxr-xr-x - manual
drwxr-xr-x - rbutil
drwxr-xr-x - tools
drwxr-xr-x - uisimulator
drwxr-xr-x - utils
drwxr-xr-x - wps