My current opinion is that it's a 64-bit system with a 128-bit bus. So... someone either confirm this, or set me straight, please.

There are no 128-bit CPUs on the market and there may never be because there is no practical reason for doubling the basic register size. One of the reasons for migrating from 32-bit to 64-bit ...