use shorter opcode names in the debug prints (skip the BX_IA_ prefix)

git-svn-id: svn://svn.code.sf.net/p/bochs/code/trunk@11988 6c8e4198-a580-4521-a02f-c9ae86df1db9
bugfix for avx-512 masked load with mask all-zero

git-svn-id: svn://svn.code.sf.net/p/bochs/code/trunk@11989 6c8e4198-a580-4521-a02f-c9ae86df1db9