diff --git a/src/add-ons/kernel/drivers/graphics/vmware/device.c b/src/add-ons/kernel/drivers/graphics/vmware/device.c
index f8bfa271b0..9eb9375ba9 100644
--- a/src/add-ons/kernel/drivers/graphics/vmware/device.c
+++ b/src/add-ons/kernel/drivers/graphics/vmware/device.c
@@ -92,7 +92,6 @@ MapDevice()
 	SharedInfo *si = gPd->si;
 	int writeCombined = 1;
 
-#if 0
 	/* Map the frame buffer */
 	si->fbArea = map_physical_memory("VMware frame buffer",
 		si->fbDma, si->fbSize, B_ANY_KERNEL_BLOCK_ADDRESS|B_MTR_WC,
@@ -104,14 +103,6 @@ MapDevice()
 			si->fbDma, si->fbSize, B_ANY_KERNEL_BLOCK_ADDRESS,
 			B_READ_AREA|B_WRITE_AREA, (void **)&si->fb);
 	}
-#else
-	/* Workaround for KDL problem. Map the frame buffer in 
-       uncached mode, see bug report #994 */
-	writeCombined = 0;
-	si->fbArea = map_physical_memory("VMware frame buffer",
-		si->fbDma, si->fbSize, B_ANY_KERNEL_BLOCK_ADDRESS|B_MTR_UC,
-		B_READ_AREA|B_WRITE_AREA, (void **)&si->fb);
-#endif
 	if (si->fbArea < 0) {
 		TRACE("failed to map frame buffer\n");
 		return si->fbArea;