They are refering to 64bit PCI. That is not the same as support for 64bit
operating systems. An 64bit OS can also support non 64bit hardware, but it
needs proper support in the driver which the current linux driver doesn't
have.
You will have to wait until somebody fixes the driver.
-Andi
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/