type linux kernel