Xen: Use Env.argv to exponse kernel arguments

Kernel args are extracted from Start_info.cmd_line and split on
whitespace.