Kernel compilieren, welchen Prozessor wählen?