And it turns out this was a quick side quest, and a failure: the reason why this logic only triggers when targetting the 88110 is because only the 88110 has the 32x32->64 multiply instruction. 88100 can only do 32x32->32 which is useless here.
There goes a good idea...