fix issue with kernel names ...