Bring in the "Port PUFFS from NetBSD/FreeBSD" GSoC 2011 project results.