get_kernel_available() gets kernels from all pages
Set the "type" attribute to change_kernel
type fix