fix no printing kernel version list