diff --git a/[refs] b/[refs]
index 7e90bd29568a..fc4569f55aaa 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 7c14e54458b7f419fbaa802657c2535b2fdf217e
+refs/heads/master: bea3e747f3ff1abe8d7f730bbf7d195f0e14d6ad
diff --git a/trunk/drivers/staging/epl/TimerHighReskX86.c b/trunk/drivers/staging/epl/TimerHighReskX86.c
index 8a97fb413965..d6897de4f140 100644
--- a/trunk/drivers/staging/epl/TimerHighReskX86.c
+++ b/trunk/drivers/staging/epl/TimerHighReskX86.c
@@ -97,10 +97,6 @@
 
 #define PROVE_OVERRUN
 
-#ifndef CONFIG_HIGH_RES_TIMERS
-#error "Kernel symbol CONFIG_HIGH_RES_TIMERS is required."
-#endif
-
 // TracePoint support for realtime-debugging
 #ifdef _DBG_TRACE_POINTS_
 void TgtDbgSignalTracePoint(u8 bTracePointNumber_p);
@@ -206,13 +202,6 @@ tEplKernel EplTimerHighReskAddInstance(void)
 	EPL_MEMSET(&EplTimerHighReskInstance_l, 0,
 		   sizeof(EplTimerHighReskInstance_l));
 
-#ifndef CONFIG_HIGH_RES_TIMERS
-	printk
-	    ("EplTimerHighResk: Kernel symbol CONFIG_HIGH_RES_TIMERS is required.\n");
-	Ret = kEplNoResource;
-	return Ret;
-#endif
-
 	/*
 	 * Initialize hrtimer structures for all usable timers.
 	 */