Correct wrong kernel name in vmtest.c