Include source files and drivers for Marvell ArmadaXP and Armada38X
in GENERIC kernel config.
Marvell PCI driver does not support NEW_PCIB, so PCI currently does not
work with generic kernel.
Dummy declaration of mv_gpio_res is added to satisfy compiler.