Okay, now... this means that if a device that the BIOS doesn't know
about, but which needs I/O addresses, then it will work if hotplugged,
but not if it is plugged in on system boot?
H. Peter Anvin, Intel Open Source Technology Center
I work for Intel. I don't speak on their behalf.