# CONFIG_NVHE_EL2_DEBUG is not set