Ref #393: fix for INTERFACE64=0 and ARCH_X86 in divtable