We should set CONFIG_PCI_DOMAINS=y unconditionally on alpha to avoid
ifdefs - jensen has dummy PCI infrastructure anyway.