/include/config/HVC_XEN_FRONTEND