[PATCH 07/15] s390: correct module section names for expoline code revert