Re: Kernel compilieren, welchen Prozessor wählen?