Re: Kernel für diverse CPU (x86)