Symbol: xen_setup_runstate_info