add simple linux kernel