Hah, nice. The original reporter sent his udev db dump (http://launchpadlibrarian.net/28891060/udev-db.txt) which perfectly matches your URLs and the patch:
E: DEVNAME=/dev/sda1 E: ID_FS_LABEL=EFI E: ID_FS_LABEL_ENC=EFI E: DKD_PARTITION_SCHEME=gpt E: DKD_PARTITION_NUMBER=1 E: DKD_PARTITION_TYPE=C12A7328-F81F-11D2-BA4B-00A0C93EC93B E: DKD_PARTITION_LABEL=EFI System Partition
Hah, nice. The original reporter sent his udev db dump (http:// launchpadlibrar ian.net/ 28891060/ udev-db. txt) which perfectly matches your URLs and the patch:
E: DEVNAME=/dev/sda1 SCHEME= gpt NUMBER= 1 TYPE=C12A7328- F81F-11D2- BA4B-00A0C93EC9 3B LABEL=EFI System Partition
E: ID_FS_LABEL=EFI
E: ID_FS_LABEL_ENC=EFI
E: DKD_PARTITION_
E: DKD_PARTITION_
E: DKD_PARTITION_
E: DKD_PARTITION_