--- src/intel_device.c	2014-12-18 15:58:17.000000000 +0100
+++ src/intel_device.c	2014-12-18 16:12:15.000000000 +0100
@@ -135,6 +135,7 @@ 
 
 		ret = drmCheckModesettingSupported(id);
 		if (ret || 1) {
+		    if( kld_isloaded( "vgapci/i915kms") == 0 )
 			if (xf86LoadKernelModule("i915kms"))
 				ret = drmCheckModesettingSupported(id);
 			if (ret)