However, the ibtpci.inf file itself doesn't say anything about the supported devices, so I decided to keep it compatible with the earlier format and write it as:
This way it's clear which devices the driver supports and whether any new ones have appeared or Intel has dropped support for some models - of course, you still need to open the ibtpci.inf file and check that manually. If you don't feel like doing it, I can do it myself.