missing linux kernel file for zed