The patch fixes 128-bit multiply on mips64.

This corrects a previous incorrect patch upstreamed from Debian.