x86 PAT: tone down debugging messages