I have posted it as rev. 1.5 of <research.delphij.net/freebsd/rfc3522.diff>. Some minor comestic changes has gone into the patchset, as junsu pointed out. I’ll remove the unrelated ones soon.