Stir in the minced garlic and a pinch or two of salt then cook for 1 more minute. Add the pork back into the pot along with the chicken stock and bay leaves.
Seed and stem the guajillo peppers then add them to a small sauce pot with the chile de arbol and water and a couple pinches of salt. Simmer. for 10 minutes then blend until smooth.