$ sudo reboot
or
$ sudo shutdown -P now

takes ~1/2 mins to shutdown; using "Restart" or "Shutdown" in GDM/Gnome session menu takes ~10 seconds.

Any ideas why?

F17, x86.
--
Pedro