How to find the kernel boot parameter for a given boot configuration option?

I have a Dell laptop running Debian Sid. Current kernel (4.15.4) is configured to load dell_smbios as module (CONFIG_DELL_SMBIOS=m). This produces the followning error while booting dell_smbios: No dell-smbios drivers are loaded I want to add a kernel boot parameter to stop dell-smbios from being loaded. Something like dell_smbios=off (Used to diable ACPI, i.e acpi=off) or dell_smbios.disable=1 (Used to disable IPv6, i.e ipv6.disable=1). So how do I know the specific kernel boot parameter for a given configuration option in the config file in /boot directory?