vload_half(3clc) on Linux

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

Read a half float from a pointer to memory.

vload_half(3clc) on Linux now