diff --git a/src/drivers/ipmi/ocp/ipmi_sel.c b/src/drivers/ipmi/ocp/ipmi_sel.c
index b10755f..f7605ec 100644
--- a/src/drivers/ipmi/ocp/ipmi_sel.c
+++ b/src/drivers/ipmi/ocp/ipmi_sel.c
@@ -105,7 +105,7 @@
 {
 	struct ipmi_config_rsp rsp = {.slot_id = UINT8_MAX};
 
-	if (CONFIG(IPMI_KCS) && CONFIG_BMC_KCS_BASE) {
+	if (CONFIG(IPMI_KCS) && CONFIG_BMC_KCS_BASE != 0) {
 		if (ipmi_get_board_config(CONFIG_BMC_KCS_BASE, &rsp) != CB_SUCCESS)
 			return UINT8_MAX;
 	}