Which kernel does bfgminer run by default?
Afaik it selects one automatically depending on you hardware/drivers. You can probably find out by saving a configuration file from inside bfgminer and checking the
"kernel":
line or using
bfgminer --debuglog 2> logfile.txt
to write a debug log which should include information about such stuff.