* disk/raid.c (grub_raid_scan_device): Do not abort when two disks with the same number are found, just use issue a warning with grub_dprintf(), as this error has been reported to be non-fatal.