Get the linux kernel too.