add the linux kernel