fix mirror

*** 18,29 ****
  
  #ifndef GRUB_SEARCH_HEADER
  #define GRUB_SEARCH_HEADER 1
  
  void grub_search_fs_file (const char *key, const char *var, int no_floppy,
!                           char **hints, unsigned nhints);
  void grub_search_fs_uuid (const char *key, const char *var, int no_floppy,
!                           char **hints, unsigned nhints);
  void grub_search_label (const char *key, const char *var, int no_floppy,
!                         char **hints, unsigned nhints);
  
  #endif
--- 18,29 ----
  
  #ifndef GRUB_SEARCH_HEADER
  #define GRUB_SEARCH_HEADER 1
  
  void grub_search_fs_file (const char *key, const char *var, int no_floppy,
!                           char **hints, unsigned nhints, int mirror);
  void grub_search_fs_uuid (const char *key, const char *var, int no_floppy,
!                           char **hints, unsigned nhints, int mirror);
  void grub_search_label (const char *key, const char *var, int no_floppy,
!                         char **hints, unsigned nhints, int mirror);
  
  #endif