GNU/Linux Getting information on a running Linux kernel