Reverted back a change that got lost in a prior rebase:  removed kabort from hosted kprintf
Kludge to make kernel boot command line available on both baremetal
and hosted.  Hosted does not actually set it must manually do it during App
start up.  This all needs to be cleaned up... see EbbRT-Sage/hosted/backend.c