Lösung für kaputten Kernel NFS Server?