IBM and Redhat (although I guess nowadays they're pretty related) seem to do a lot of kernel work. There are probably even more that I cant named sleep deprived, but you can throw in something like "linux kernel developer" in a job search board to get an idea
