Я встречал кривые биосы, которые лоадер BOOTX64 от опенкора отказывались жрать. Приходилось OpenCore.efi переименовывать в BOOTX64.EFI и подкладывать в папку BOOT.
у меня как раз ошибка была в том что я opencore.efi прописывал, а надо было bootx64.efi