I'm in the process of trying to use a mini-pci card that requires the below parameters in the .config . How can I verify these. I cant find a .config in the voyage distro. CONFIG_SERIAL_8250_PCI=y CONFIG_SERIAL_8250_SHARE_IRQ=y Any Help Would be Greatly Appreciated !