C-Kernel mit GRUB — Änderungen 4200 → 4258