kernel_end_found