Add some debug info to see kernel version