EFI Boot Management: Juggling FreeBSD, Proxmox, and FriendsManaging EFI boot entries when multiple OS loaders share the same ESPFeb 8, 2026