www kernel: PCI: No IRQ known for interrupt pin A of device 00:09.0. Please try using pci=biosirq.
cardmgr[73]: could not adjust resource: IO ports 0xc00-0xcff: Input/output error
cardmgr[73]: could not adjust resource: IO ports 0x820-0x8ff: Input/output error
cardmgr[73]: could not adjust resource: IO ports 0x800-0x80f: Input/output error
cardmgr[73]: could not adjust resource: IO ports 0x3e0-0x4ff: Input/output error
cardmgr[73]: could not adjust resource: IO ports 0x100-0x3af: Input/output error
cardmgr[73]: could not adjust resource: memory 0xc0000-0xfffff: Input/output error
cardmgr[73]: could not adjust resource: memory 0x60000000-0x60ffffff: Input/output error
cardmgr[73]: could not adjust resource: memory 0xa0000000-0xa0ffffff: Input/output error
cardmgr[73]: could not adjust resource: IO ports 0xa00-0xaff: Input/output error
cardmgr[73]: could not adjust resource: irq 4: Input/output error
cardmgr[73]: could not adjust resource: irq 7: Input/output error
cardmgr[74]: get dev info on socket 0 failed: Resource temporarily unavailable