x86/paravirt: Use CONFIG_PARAVIRT_XXL instead of CONFIG_PARAVIRT