pxe & health: Collecting MCEs events

As some hosts generates MCEs, let's provide a way to grab the MCEs that
occured.
pxe & health: Let's display kernel version at boot time

When running multiple version of those tools, it's nice reporting the
booted kernel. That could help understanding some failures.