linux kernel needs more kernel