Update symbols on kfreebsd64