[PATCH 06/19] s390/alternative: use a copy of the facility bit mask