10f7b1dcdfe0 ("KVM: s390: cpu model: Use proper define for facility mask size")