handle system-wide kernelspecs

in html tets_kernelspecs_api, which can cause counts to be greater than 2