[lib] fix a bug when using a kavlan because the name stored in the xml is the base name
[engines] MicroArchBenchmark: improve log message, fix the vmids
[bin] vm5k: fix a bad usage of frontend