/boot/efi in a dual boot system