New function: SB!KERNEL:%MULTIPLY-HIGH