I'm not a XNU hacker, but it looks like they haven't. Their time_t typedef seems to be a __darwin_time_t [1], which in turn looks like to be 32-bit signed long [2].
As far as I know, the only major operating system that has dealt with Y2038 is OpenBSD [3].
[1] - https://github.com/opensource-apple/xnu/blob/bb7368935f659ad...
[2] - https://github.com/opensource-apple/xnu/blob/bb7368935f659ad...
[3] - http://www.openbsd.org/55.html , http://www.undeadly.org/cgi?action=article&sid=2013081307224...