Merge libtesla kernel changes.

Thanks to rwatson, TESLA works in the FreeBSD kernel once again!