xen: flag hvc_xen to be not essential for system boot