Fix the VKERNEL/VKERNEL64 build.