linux_loadkernel
static int linux_loadkernel(char *, u_int64_t, struct preloaded_file **);
struct file_format linux = { linux_loadkernel, linux_exec };