Mach was not a modified BSD kernel, it was a research kernel developed at CMU developed from the Accent and Aleph kernel(s) as a replacement for the BSD kernel, nothing to do with BSD excepting that BSD took some ideas from it... later.
https://en.wikipedia.org/wiki/Mach_(kernel)
Look at the repo, the BSD sources are nothing but a userland (POSIX) API layer + the odd device compatibility layer.
Please refrain from posting misinformation in the future.