Fix XIHF in simulator -- result should be placed in the higher 32 bits