update really outdated code to fetch latest Linux kernel info