Rename list_kernel_specs to find_kernel_specs