hadd(3clc) on Linux

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

Returns (x + y) >> 1, or (x + y + 1) >> 1

hadd(3clc) on Linux now