mul_hi(3clc) on Linux

The text c62ce72b9f1e, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

Returns the high half of the product of x and y.

mul_hi(3clc) on Linux now