FreeBSD optimizations used by Netflix serving at 800Gb/s