UEFI stub or bootloader?

• UEFI → stub for direct kernel boot

• Potentially faster
• Not useful for generic use

• UEFI → Gummiboot → stub kernel

• Maybe?

• UEFI → grub → kernel

• Vastly more flexible
• Right choice for Debian?