spec-sw 2013-05 is released

The release includes a number of improvements over v2013-01,
but the package design is the same. We`ll have a new wr-nic driver
soon (spec-sw-2013-06), but meanwhile this merges the new allocation
policy of fmc-bus, properly mandated by Greg-KH after the initial RFC
kernel submission.

The backport branch for this release works happily with Linux-2.6.24,
which is still being used in production machines.