Diskussion:C-Kernel mit GRUB — Änderungen 3727 → 4260