Странный UEFI MacBook

Предполагая, что все современные Mac поставляются с EFI, я установил Ubuntu на MacBook Pro (15 дюймов, конец 13) вместе с OSX.

Когда я включаю устройство, оно загружается в Ubuntu. Когда я удерживаю клавишу выбора, у меня появляется только опция «Macintosh HD», которая загружается в OSX.

efibootmgr говорит:

BootCurrent: 0000
Timeout: 5 seconds
BootOrder: 0000,0080
Boot0000* ubuntu    HD(1,GPT,e07bd003-42d6-409f-abff-41ecbfdafac6,0x28,0x64000)/File(\EFI\ubuntu\shimx64.efi)
Boot0080* Mac OS X  PciRoot(0x0)/Pci(0x1c,0x4)/Pci(0x0,0x0)/Sata(0,0,0)/HD(3,GPT,b777f8c5-13b7-4de3-8e4f-639a9bada436,0x74678048,0x136000)
Boot0081* Recovery OS   PciRoot(0x0)/Pci(0x1c,0x4)/Pci(0x0,0x0)/Sata(0,0,0)/HD(3,GPT,b777f8c5-13b7-4de3-8e4f-639a9bada436,0x74678048,0x136000)/File(\com.apple.recovery.boot\boot.efi)
Boot0082*   PciRoot(0x0)/Pci(0x1c,0x4)/Pci(0x0,0x0)/Sata(0,0,0)/HD(3,GPT,b777f8c5-13b7-4de3-8e4f-639a9bada436,0x6fd38b08,0x136000)

Загрузочный раздел EFI содержит загрузчики для Ubuntu и OSX. Насколько я понимаю, EFI может найти другую ОС (и ОС восстановления).

Почему я не могу выбрать между двумя ОС при запуске компьютера с ключом опции (который, насколько я понимаю, вызывает загрузочный выбор EFI)?