kconfig: Add PCIe devices to s390x machines