Re: Welchen gcc zum Kernel compilieren?