--- a/kerneltest/f32test/group/bld.inf	Sun Jul 18 10:41:59 2010 +0100
+++ b/kerneltest/f32test/group/bld.inf	Mon Jul 19 08:40:05 2010 +0100
@@ -54,6 +54,7 @@
 t_fsysbm    support
 t_whet      support
 #ifdef ARMCC
+// ARMCC should become EABI if and when VFP is supported for GCCE builds.
 t_whetvfp   support
 #endif
 //T_WARM        manual