Add missing annotations for Pxor/VPXor in vale instructions
Add missing annotations for Pxor/VPXor in vale instructions

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star