fix a bug of vengine kernel