Re: wie patched man einen kernel