Poul-Henning Kamp, The FreeBSD Project