11639 some man pages show incorrect driver locations

*** 40,55 ****
  FILES
         /dev/ntwdt
                                     Special character device.
  
  
!        kernel/drv/sparcv9/ntwdt
!                                    SPARC ntwdt driver binary.
  
  
!        kernel/drv/ntwdt.conf
!                                    Driver configuraton file.
  
  
  ATTRIBUTES
         See attributes(5) for descriptions of the following attributes:
  
--- 40,55 ----
  FILES
         /dev/ntwdt
                                     Special character device.
  
  
!        /kernel/drv/sparcv9/ntwdt
!                                    Device driver (SPARC)
  
  
!        /kernel/drv/ntwdt.conf
!                                    Driver configuration file
  
  
  ATTRIBUTES
         See attributes(5) for descriptions of the following attributes:
  
*** 68,73 ****
  
         Writing Device Drivers
  
  
  
!                                February 5, 2005                      NTWDT(7D)
--- 68,73 ----
  
         Writing Device Drivers
  
  
  
!                                January 10, 2020                      NTWDT(7D)