Thanks for your answer.
Unfortunately, it seems these are the symbol files for a debug version of the driver. I need the symbols for the release binaries.