Re: [PATCH 4.4 15/50] s390/alternative: use a copy of the facility bit mask