Improved detection of device kernels