add missing kernel config option due to new smtnice4 patch