Add support for IPMI to Debian 10 RT config

The existing config file for the Debian 10 RT builds does not have IPMI handler support enabled. We use the IPMI feature heavily in IFO activities, so needs to be added. Example from existing IFO real-time

controls@x2boot1 /usr/src/linux-3.0.8-cs $ grep IPMI .config
# CONFIG_ACPI_IPMI is not set
CONFIG_IPMI_HANDLER=y
# CONFIG_IPMI_PANIC_EVENT is not set
CONFIG_IPMI_DEVICE_INTERFACE=y
CONFIG_IPMI_SI=y
CONFIG_IPMI_WATCHDOG=y
CONFIG_IPMI_POWEROFF=y