Re: Wie ersetze ich 64GB-Kernel durch 4GB-Kernel?