Fix VEX attesting beside an unpatched same-lock copy (#935, #938, #939)

Fix VEX attesting beside an unpatched same-lock copy (#935, #938, #939) #931