diff --git a/kernel-i686-rhel.config b/kernel-i686-rhel.config
index acb1575ee..390da4c9f 100644
--- a/kernel-i686-rhel.config
+++ b/kernel-i686-rhel.config
@@ -8471,6 +8471,8 @@ CONFIG_VIDEO_CAFE_CCIC=m
 CONFIG_X86_32_IRIS=m
 CONFIG_X86_BIGSMP=y
 CONFIG_X86_GENERIC=y
+CONFIG_XEN_DEV_EVTCHN=y
+CONFIG_XEN_SYS_HYPERVISOR=y
 # CONFIG_X86_LEGACY_VM86 is not set
 CONFIG_X86_LONGRUN=y
 CONFIG_X86_POWERNOW_K7=y