Re: [PATCH] Make distro_adder and add_entry recognize multiple kernels