Add some FreeBSD kernel configs