Current state

• EFI boot for ia64 since forever (elilo)

• Wheezy UEFI boot (grub-efi)

• d-i should work on amd64 UEFI machines, CD / USB boot
• I386 (U)EFI might work, but not supported

• It's grotty, but it mostly works

• Some known bugs