Update virtlet and bump criproxy

Change-Id: I90eba6a79d4a7b658757e54d563a05b67906ba92
8 files changed