Add a missing break in the 64 bit vkernel, too.