Fix kernel listing.