wie patched man einen kernel