Could you send the output of 'lspci -vvvnn' ? I'd like to check the I/O resources of your system, especially which device the following range belongs to: (WW) ****INVALID IO ALLOCATION**** b: 0xf0000400 e: 0xf00004ff correcting The log says I/O @ 0x0400/8, I am wondering whether there could be a confusion between 0x0400 and 0xf0000400. Brice