vkernel - Update usage options.

* This was overlooked in the previous commit.