Log Message:
Mark this NOT_FOR 64-bit platforms, as it seems to not draw a clear
distinction between host and guest addresses and 64-bit host addresses
give it fits.

If anyone wants to try making it work, let me know as I have partial
patches.