Change kernel names in config files and apps
Needed after !256 (merged) (numerical tests did not run)
Edited by Anna Wellmann
Needed after !256 (merged) (numerical tests did not run)
Merge details
changed the description
mentioned in commit a2587742
merged