set virtual to xen0 if proc/xen and dev/xen are not working although it is a xen (FACT-755)