handling. * include/grub/disk.h (grub_disk_dev_id): Remove obsolete GRUB_DISK_DEVICE_UUID_ID, GRUB_DISK_DEVICE_PXE_ID and GRUB_DISK_DEVICE_FILE_ID.
handling. * include/grub/disk.h (grub_disk_dev_id): Remove obsolete GRUB_DISK_DEVICE_UUID_ID, GRUB_DISK_DEVICE_PXE_ID and GRUB_DISK_DEVICE_FILE_ID.