After having installed systemd-44-8.fc17 *and* applying the most recent
F17 updates (includes a *glibc* update) , the reboot problem has
deteriorated:
1) Even going from runlevel 5 into runlevel 3 and then rebooting (was
previously a workaround) no more helps.
2) Booting directly into to runlevel 3 and the trying to reboot now
shows the delay too!
--
Joachim Backes <joachim.backes(a)rhrk.uni-kl.de>
http://www.rhrk.uni-kl.de/~backes