test/vkernel - Fix build.