add missing config.pml (HW) for Malardalen benchmarks