Hi, Is it possible to make the gnumach package update grub when a new kernel is available instead of overwriting the old image, as linux kernels do? It would be nice to have more than one kernel available for testing purposes. Thanks!