Marco, Couldn't you just make that message a little more helpful by adding that if one is doing a distribution upgrade they should apply the workaround? Btw, I read it to mean that I should touch /etc/udev/kernel-upgrade, which doesn't work for me. When I repeat apt-get -f install, I still get the same error from udev.
Marcin