Potwierdzam, u mnie też jest, jak tu. Żadnej dodatkowej partycji EFI fat32 nie trzeba tworzyć. Należy podczas instalacji wskazać jako /boot/efi tą istniejącą.
U mnie jest tak:
BIOS
GRUB
Z tym że, te wpisy w biosie dodały się automatycznie podczas instalacji systemów. Manjaro był ostatni dlatego jest pierwszy na liście.
Sprzęt: laptop Lenovo