Alternatively, we can set CONFIG_PCI_DOMAINS=y unconditionally to
avoid ifdefs - jensen has dummy PCI infrastructure anyway.

Ivan.