Added validated ISAtab configuration for KH benchmarking