--- a/baseport/syborg/rom/kernel.iby	Mon Jul 05 15:30:26 2010 +0100
+++ b/baseport/syborg/rom/kernel.iby	Wed Jul 07 22:30:23 2010 +0100
@@ -24,10 +24,8 @@
 extension[VARID]=	\epoc32\release\##KMAIN##\##BUILD##\_##VARIANT##_BTRACEX.LDD		\sys\bin\BTRACEX.LDD
 variant[VARID]=		\epoc32\release\##KMAIN##\##BUILD##\_##VARIANT##_KASYBORG.DLL		\sys\bin\KASYBORG.DLL
 
-#ifndef GCCE
 // IEEE-mode VFP support
-extension[VARID]=	\epoc32\release\##KMAIN##\##BUILD##\EVFP.DLL				\sys\bin\EVFP.DLL
-#endif
+//extension[VARID]=	\epoc32\release\##KMAIN##\##BUILD##\EVFP.DLL				\sys\bin\EVFP.DLL
 
 // Common monitor support. Must be before both interactive debugger and automatic logger.
 extension[VARID]=   	\Epoc32\release\##KMAIN##\##BUILD##\_##VARIANT##_EXMONCOMMON.DLL 	\sys\bin\EXMONCOMMON.DLL