grub: removed orphaned mkOption configurationName