vload_halfn(3clc) on Linux

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

Read a half float vector from a pointer to memory.

vload_halfn(3clc) on Linux now