Made sure that fix to /etc/grub.d/10_linux is only applied once