Various device kernels for building kexec modules