vstore_half(3clc) on Linux

The text 8d4880e43092, as Debian 11 (Bullseye) shipped it.

Convert float to half and write to a pointer to memory.

vstore_half(3clc) on Linux now