vkernel64: Add a missing 'break'.