hdaudio headers need to be added to flists?

[Paul Goyette <paul%whooppee.com@localhost>]

Sources updated just a few minutes ago, and I'm getting

=======  3 extra files in DESTDIR  =========
Files in DESTDIR but missing from flist.
File is obsolete or flist is out of date ?
------------------------------------------
./usr/include/dev/pci/hdaudio
./usr/include/dev/pci/hdaudio/hdaudioio.h
./usr/include/dev/pci/hdaudio/hdaudioreg.h
=========  end of 3 extra files  ===========
*** [checkflist] Error code 1


-------------------------------------------------------------------------
|   Paul Goyette   | PGP DSS Key fingerprint: |  E-mail addresses:      |
| Customer Service | FA29 0E3B 35AF E8AE 6651 |  paul at whooppee.com   |
| Network Engineer | 0786 F758 55DE 53BA 7731 | pgoyette at juniper.net |
| Kernel Developer |                          | pgoyette at netbsd.org  |
-------------------------------------------------------------------------