The source project of this merge request has been removed.
Update show_sys_state.php to display current kernel info.
Update show_sys_state.php to display current kernel info for stable-3.1 in relation to recently merged commits of !790 (merged) and !791 (merged).
There is a fix to the filename for master submitted via commit !804 (merged) that is still pending.