grub2: always name the kernel rather than using the digit

For some reason I couldn't understand, the digit looked right but the results looked wrong. It seems more reliable to use the text label.