diff --git a/arch/arm/configs/vexpress_gem5_defconfig b/arch/arm/configs/vexpress_gem5_defconfig
index cc61fee..220a6a7 100644
--- a/arch/arm/configs/vexpress_gem5_defconfig
+++ b/arch/arm/configs/vexpress_gem5_defconfig
@@ -162,6 +162,10 @@
 CONFIG_ANDROID_LOW_MEMORY_KILLER=y
 CONFIG_ANDROID_LOW_MEMORY_KILLER_AUTODETECT_OOM_ADJ_VALUES=y
 CONFIG_ANDROID_INTF_ALARM_DEV=y
+CONFIG_SYNC=y
+CONFIG_SW_SYNC=y
+CONFIG_SW_SYNC_USER=y
+CONFIG_ION=y
 CONFIG_ARM_ARCH_TIMER=y
 CONFIG_GATOR=m
 CONFIG_EXT2_FS=y
diff --git a/arch/arm/configs/vexpress_gem5_dvfs_defconfig b/arch/arm/configs/vexpress_gem5_dvfs_defconfig
index 5a316f1..b75886d 100644
--- a/arch/arm/configs/vexpress_gem5_dvfs_defconfig
+++ b/arch/arm/configs/vexpress_gem5_dvfs_defconfig
@@ -162,6 +162,10 @@
 CONFIG_ANDROID_LOW_MEMORY_KILLER=y
 CONFIG_ANDROID_LOW_MEMORY_KILLER_AUTODETECT_OOM_ADJ_VALUES=y
 CONFIG_ANDROID_INTF_ALARM_DEV=y
+CONFIG_SYNC=y
+CONFIG_SW_SYNC=y
+CONFIG_SW_SYNC_USER=y
+CONFIG_ION=y
 CONFIG_ARM_ARCH_TIMER=y
 CONFIG_GATOR=m
 CONFIG_EXT2_FS=y