I finally succeeded in compiling a working cross-compilation tool chain for my Raspberry Pi. It took me a while, but thanks to some valuable posts on the Raspberry Pi forum by Ian Linsdell and some luck I finally made it.
The tool chain contains the Linaro versions of GCC (gcc-linaro-4.6-2012.07) and GDB (gdb-linaro-7.4-2012.06) compiled with the hardfp option. Simply unpack the archive in the /opt/cross/x-tools folder of your Cygwin installation (i.e. c:\cygwin\opt\cross\x-tools) and configure your IDE as suggested in my previous article.