Extra debug output for amd64
Merge pull request #191 from tklengyel/va_pages_debug

Extra debug output for amd64