remove linux kernel docs install