/etc/init.d/grml-reboot: sync devices before deactivating pcmcia