Hi, when I updated my kernel in yellow dog linux I have the problem that the old kernel is booted with the bootx boot manager. Where I can get a new kernels.tar.gz for the BootX bootmanager or how can I solve this? cu BendAR