. It's better to use extlinux for this use case though.

I will look into it. Although what I found out at first did not look that much promising. Will this mean that I have to replace grub by extlinux?