Dans un bol moyen, mélanger tous les ingrédients sauf l'oignon et le bouillon. Remuer pour bien enrober.
Versez le bouillon de bœuf dans la casserole, suivi de l’oignon coupé en quartiers.
Ajoutez les morceaux de porc en une couche uniforme sur les oignons.
Versez la marinade supplémentaire sur les morceaux de porc - ne remuez pas - puis fermez le couvercle en vous assurant que l'évent est fermé.
À l'aide de l'écran, sélectionnez la fonction CUISSON MANUELLE ou CUISSON SOUS PRESSION *. Utilisez les touches +/- et programmez l'Instant Pot sur 60 minutes.
Une fois le temps écoulé, laissez la pression se relâcher naturellement pendant 10 minutes, puis relâchez rapidement toute pression restante.
Retirez délicatement la viande de la marmite et placez-la sur une planche à découper et déchiquetez-la.
Remettez la viande dans la casserole et remuez pour mélanger.
Servir le bœuf effiloché sur des tortillas chaudes avec de la coriandre hachée, de la crème sure, de la salsa supplémentaire et des quartiers de citron vert.