[PATCH 5.10 160/306] s390: make PCI mio support a machine flag