vkernel - Update usage options.
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Sat, 28 Sep 2013 16:25:42 +0000 (09:25 -0700)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Sat, 28 Sep 2013 16:25:42 +0000 (09:25 -0700)
commit27b04eddb6a84dd0febe7db0b30a9e43bb704403
treea28c1d49ca0805c7d2383f1b16e464ffa0b0e8a7
parent75d86d8d3ad8755e4a3bfb102fa5236cb2d59c38
vkernel - Update usage options.

* This was overlooked in the previous commit.
sys/platform/vkernel/platform/init.c
sys/platform/vkernel64/platform/init.c