# CONFIG_HVC_XEN_FRONTEND is not set
