vkernel - Adjust invalidation ABI a bit