Merge "Bump virtlet to 1.4.0 and criproxy to 0.12.0"