fbsd kernel doc - Add some timing results for full build